Quantifier elimination for Stone algebras (Q1119567): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639727 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings which admit elimination of quantifiers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraically closed distributive p-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model companions of distributive <i>p</i>-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4121893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5802110 / rank | |||
Normal rank |
Latest revision as of 15:13, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifier elimination for Stone algebras |
scientific article |
Statements
Quantifier elimination for Stone algebras (English)
0 references
1989
0 references
A Stone algebra is a distributive lattice with pseudocomplement that satisfies the Stone identity \(a^*\sqcup a^{**}=1\). The author determines all quantifier elimination classes of Stone algebras and all classes of Stone algebras that admit positive quantifier elimination (i.e. every positive existential formula is equivalent to a positive quantifier-free formula). The author reproves some model theoretic results on Stone algebras using his results about quantifier elimination and gives necessary conditions for quantifier elimination for pseudocomplemented distributive lattices.
0 references
pseudocomplemented lattice
0 references
Stone algebra
0 references
quantifier elimination
0 references