Omitting types of prenex formulas

DOI10.2307/2271243MaRDI QIDQ5545511zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• Models of complete theories

Cited in

(11)

• Categoricity and generalized model completeness
• Categorical universal semigroups
• \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
• Categorical quasivarieties of arbitrary signature
• Models with countable-categorical universal theories
• Categorial quasivarieties
• Non Σ_n axiomatizable almost strongly minimal theories
• Model companions and k-model completeness for the complete theories of Boolean algebras
• scientific article; zbMATH DE number 3616400 (Why is no real title available?)
• Existentially closed structures
• Forcing in Łukasiewicz predicate logic

This page was built for publication: Omitting types of prenex formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5545511)