Title of article :
Boolean pairs formed by the Δn0-sets
Original Research Article
Author/Authors :
E. Herrmann، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
Abstract :
It will be shown that for all numbers n and m with n > m ⩾ 1 the Boolean pairs (Δn0, Δm0) have undecidable elementary theories.
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic