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 (11)

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

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