Omitting types of prenex formulas
From MaRDI portal
Publication:5545511
DOI10.2307/2271243zbMath0161.00503MaRDI QIDQ5545511
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
Related Items
Existentially closed structures, Forcing in Łukasiewicz predicate logic, 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, Unnamed Item
Cites Work