Displaying similar documents to “Extensions with the approximation and cover properties have no new large cardinals”

Definable quantifiers in second order arithmetic and elementary extensions of ω-models

Wojciech Guzicki

Similarity:

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 ...