Displaying similar documents to “Definable Ultrapowers and the Omitting Types Theorem”

Linear extensions of orderings

Vítězslav Novák, Miroslav Novotný (2000)

Czechoslovak Mathematical Journal

Similarity:

A construction is given which makes it possible to find all linear extensions of a given ordered set and, conversely, to find all orderings on a given set with a prescribed linear extension. Further, dense subsets of ordered sets are studied and a procedure is presented which extends a linear extension constructed on a dense subset to the whole set.

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