Definable quantifiers in second order arithmetic and elementary extensions of [Greek letter omega]-models
By: Wojciech Guzicki.
Series: Dissertationes mathematicae =; Rozprawy matematyczne,; 208; Rozprawy matematyczne ;; 208.
Publisher: Państwowe Wydawn. Naukowe; Available, Ars Polona
Published: 1983
Place of publication: Warszawa
Language: eng
Number of pages: 55
Subjects: Predicate calculus.; Model theory.
Notes: Bibliography: p. [50]-51.