Definable quantifiers in second order arithmetic and elementary extensions of ω-models
Wojciech Guzicki
GDML_Books, (1983), p.

CONTENTS0. Introduction and terminology..............................................................51. Quantifiers and elementary extensions..............................................82. Elementary extensions of countable models of set theory................153. Interpretations of set theory in extensions of A₂...............................214. Definable quantifiers in models of A₂...............................................325. Elementary generic extensions........................................................40References..........................................................................................50

EUDML-ID : urn:eudml:doc:268545
@book{bwmeta1.element.zamlynska-24c8cb4f-f784-4521-bb44-f288866f8681,
     author = {Wojciech Guzicki},
     title = {Definable quantifiers in second order arithmetic and elementary extensions of $\omega$-models},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1983},
     zbl = {0518.03022},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-24c8cb4f-f784-4521-bb44-f288866f8681}
}
Wojciech Guzicki. Definable quantifiers in second order arithmetic and elementary extensions of ω-models. GDML_Books (1983),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-24c8cb4f-f784-4521-bb44-f288866f8681/