The model-theoretic significance of complemented existential formulas
From MaRDI portal
Publication:3967521
DOI10.2307/2273232zbMath0502.03017MaRDI 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
complement; model companion; pseudo-complement; distributive lattice of equivalence classes; existential L-formulas; inductive first order theory; weak- complement
06D05: Structure and representation theory of distributive lattices
06D15: Pseudocomplemented lattices
03C07: Basic properties of first-order languages and structures
03C95: Abstract model theory
Related Items
Cites Work