Omitting types of prenex formulas

DOI10.2307/2271243zbMath0161.00503OpenAlexW2154247659MaRDI QIDQ5545511

C. C. Chang

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

mathematical logic

Related Items

Categoricity and generalized model completeness, Non Σ_n axiomatizable almost strongly minimal theories, Unnamed Item, Forcing in Łukasiewicz predicate logic, Existentially closed structures, Categorical universal semigroups, \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures, Model companions and k-model completeness for the complete theories of Boolean algebras, Models with countable-categorical universal theories, Categorial quasivarieties, Categorical quasivarieties of arbitrary signature

Cites Work

• Models of complete theories