The model-theoretic significance of complemented existential formulas (Q3967521)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The model-theoretic significance of complemented existential formulas |
scientific article |
Statements
The model-theoretic significance of complemented existential formulas (English)
0 references
1981
0 references
inductive first order theory
0 references
existential L-formulas
0 references
distributive lattice of equivalence classes
0 references
complement
0 references
pseudo-complement
0 references
weak- complement
0 references
model companion
0 references