Finitely generated free Heyting algebras: the well-founded initial segment (Q4899176): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Property / author | |||
| Property / author: John K. Truss / rank | |||
| Property / author | |||
| Property / author: John K. Truss / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1999789292 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On Bellissima's construction of the finitely generated free Heyting algebras, and beyond / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3965241 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On formulas of one variable in intuitionistic propositional calculus / 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 01:23, 6 July 2024
scientific article; zbMATH DE number 6122637
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finitely generated free Heyting algebras: the well-founded initial segment |
scientific article; zbMATH DE number 6122637 |
Statements
Finitely generated free Heyting algebras: the well-founded initial segment (English)
0 references
7 January 2013
0 references
free Heyting algebra
0 references
well-founded
0 references
low ladder
0 references
0 references
