Pages that link to "Item:Q1237068"

The following pages link to Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) (Q1237068):

Displaying 29 items.

• Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
• Finite fixed point algebras are subdiagonalisable (Q581435) (← links)
• The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
• Definability theorems in normal extensions of the provability logic (Q918958) (← links)
• Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
• Hyperdiagonalizable algebras (Q1078181) (← links)
• An algebraic study of well-foundedness (Q1087540) (← links)
• Topology and duality in modal logic (Q1101436) (← links)
• Intuitionistic diagonalizable algebras (Q1134152) (← links)
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077) (← links)
• The undecidability of the first-order theory of diagonalizable algebras (Q1153078) (← links)
• The well-founded algebras (Q1155639) (← links)
• On dual spaces of products of Boolean algebras and the Stone compactification (Q1162282) (← 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 equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) (Q1223285) (← links)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) (Q1233018) (← links)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) (← links)
• On the autological character of diagonalizable algebras (Q1238804) (← links)
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312) (← links)
• Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) (Q1254313) (← links)
• On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
• Topological structure of diagonalizable algebras and corresponding logical properties of theories (Q1903132) (← links)
• Dugundji's theorem revisited (Q2254571) (← links)
• Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
• Fixed point algebras (Q3333037) (← links)
• Undecidability in diagonalizable algebras (Q4338316) (← links)
• Interpretability over peano arithmetic (Q4948517) (← links)