Displaying similar documents to “Model-theoretic consequences of a theorem of Campana and Fujiki”

A note on Steinhorn's omitting types theorem

Akito Tsuboi (2009)

Colloquium Mathematicae

Similarity:

Let p(x) be a nonprincipal type. We give a sufficient condition for a model M to have a proper elementary extension omitting p(x). As a corollary, we obtain a generalization of Steinhorn's omitting types theorem to the supersimple case.

Locally finite theories with model companion

Paolo Lipparini (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.

When a first order T has limit models

Saharon Shelah (2012)

Colloquium Mathematicae

Similarity:

We sort out to a large extent when a (first order complete theory) T has a superlimit model in a cardinal λ. Also we deal with related notions of being limit.