The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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