Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
From MaRDI portal
Publication:1237068
DOI10.1007/BF02121661zbMath0355.02021MaRDI QIDQ1237068
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Related Items (29)
Hyperdiagonalizable algebras ⋮ An algebraic study of well-foundedness ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Topology and duality in modal logic ⋮ Topological structure of diagonalizable algebras and corresponding logical properties of theories ⋮ Interconnection of the lattices of extensions of four logics ⋮ Intuitionistic diagonalizable algebras ⋮ Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic ⋮ The undecidability of the first-order theory of diagonalizable algebras ⋮ The well-founded algebras ⋮ Undecidability in diagonalizable algebras ⋮ On dual spaces of products of Boolean algebras and the Stone compactification ⋮ Loeb operators and interior operators ⋮ Definability theorems in normal extensions of the provability logic ⋮ Continuum of normal extensions of the modal logic of provability with the interpolation property ⋮ Provability: The emergence of a mathematical modality ⋮ Dugundji's theorem revisited ⋮ Fixed point algebras ⋮ 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.) ⋮ On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) ⋮ The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) ⋮ Finite fixed point algebras are subdiagonalisable ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ On the autological character of diagonalizable algebras ⋮ Interpretability over peano arithmetic ⋮ On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) ⋮ Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ The finite inseparability of the first-order theory of diagonalisable algebras
Cites Work
This page was built for publication: Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
