On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2028822621 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0812.2027 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finitely generated free Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Profinite completions and canonical extensions of Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Profinite Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Codimension and pseudometric in co-Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3837730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5582318 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4277651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4873970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model completions and r-Heyting categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4836217 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3987718 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On closed elements in closure algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elementary theories of free topo-Boolean and pseudo-Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free Heyting algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:46, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Bellissima's construction of the finitely generated free Heyting algebras, and beyond |
scientific article |
Statements
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (English)
0 references
27 October 2010
0 references
This paper is closely related to a second paper by the same authors [``Codimension and pseudometric in co-Heyting algebras'', Algebra Univers. 64, No.~3--4, 251--282 (2010; Zbl 1217.06002)], both complementing each other. While this paper collects results that follow from \textit{F. Bellissima}'s construction in his paper ``Finitely generated free Heyting algebras'' [J. Symb. Log. 51, 152--165 (1986; Zbl 0616.03021)], the second paper analyses the structure of Heyting algebras from a more geometric point of view. The present paper studies finitely generated free Heyting algebras from a topological and from a model-theoretic point of view. After recalling Bellissima's construction, the authors analyse his Heyting algebra; they prove that it is the profinite completion of the finitely generated free Heyting algebra as well as the metric completion for a naturally defined metric. They reconstruct the Kripke model as the principal ideal spectrum and show that the Zariski topology on this spectrum is induced by the partial ordering. The Kripke model is proved to be first-order interpretable. Many other results are obtained. A collection of open problems is presented. The paper is hard to read, but well written.
0 references
free Heyting algebra
0 references
finitely generated Heyting algebra
0 references
completion
0 references
irreducible elements
0 references
spectrum
0 references
Kripke model
0 references
automorphism group
0 references
0 references