The model-theoretic significance of complemented existential formulas

DOI10.2307/2273232MaRDI QIDQ3967521zbMATH OpenOpenAlexFDO

Authors Volker Weispfenning

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

zbMATH Keywords

complementdistributive lattice of equivalence classesexistential L-formulasinductive first order theorymodel companionpseudo-complementweak- complement

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Abstract model theory (03C95) Structure and representation theory of distributive lattices (06D05) Pseudocomplemented lattices (06D15)

Cites work

• A note on ℵ0-categorical model-companions
• Completing theories by forcing
• Negative-existentially complete structures and definability in free extensions

Cited in

(2)

• Model-theoretic properties of the \(\sharp\)-companion of a Jonsson set
• Normal Jonsson theories and their Kaiser classes

This page was built for publication: The model-theoretic significance of complemented existential formulas

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