A Note on Model Complete Models and Generic Models

DOI10.2307/2038398zbMath0262.02051OpenAlexW4239062111MaRDI QIDQ5677481

Saharon Shelah

Publication date: 1972

Full work available at URL: https://doi.org/10.2307/2038398

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Related Items

Generic models, Generic models of countable theories, Model-companions and definability in existentially complete structures

Cites Work

• The syntax and semantics of infinitary languages
• Maximal models in the language with quantifier There exist uncountably many
• Completing theories by forcing