Pages that link to "Item:Q1223285"
From MaRDI portal
The following pages link to On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) (Q1223285):
Displaying 11 items.
- Hyperdiagonalizable algebras (Q1078181) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- The undecidability of the first-order theory of diagonalizable algebras (Q1153078) (← links)
- Loeb operators and interior operators (Q1163545) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) (Q1223284) (← links)
- On the autological character of diagonalizable algebras (Q1238804) (← links)
- Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) (Q1254313) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Fixed point algebras (Q3333037) (← links)
