The model-theoretic significance of complemented existential formulas
From MaRDI portal
Publication:3967521
DOI10.2307/2273232zbMath0502.03017OpenAlexW1999230739MaRDI QIDQ3967521
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273232
complementmodel companionpseudo-complementdistributive lattice of equivalence classesexistential L-formulasinductive first order theoryweak- complement
Structure and representation theory of distributive lattices (06D05) Pseudocomplemented lattices (06D15) Basic properties of first-order languages and structures (03C07) Abstract model theory (03C95)
Related Items
Cites Work
This page was built for publication: The model-theoretic significance of complemented existential formulas