scientific article; zbMATH DE number 3547370
From MaRDI portal
Publication:4121962
zbMath0352.08009MaRDI QIDQ4121962
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (32)
Provability algebras and proof-theoretic ordinals. I ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Magari and \(\Delta\)-pseudo-Boolean algebras ⋮ Topological structure of diagonalizable algebras and corresponding logical properties of theories ⋮ Intuitionistic diagonalizable algebras ⋮ Provability multilattice logic ⋮ ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR 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 ⋮ On the relation provable equivalence and on partitions in effectively inseparable sets ⋮ Provability: The emergence of a mathematical modality ⋮ On a strengthening of the non-isomorphism theorem for provability algebras ⋮ A note on the diagonalizable algebras of PA and ZF ⋮ Fixed point algebras ⋮ The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) ⋮ 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 ⋮ Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) ⋮ 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 ⋮ 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) ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ Topological Interpretations of Provability Logic ⋮ A note on the normal form of closed formulas of interpretability logic ⋮ Decision problems for classes of diagonalizable algebras
This page was built for publication:
