scientific article; zbMATH DE number 3547370

zbMATH Open0352.08009MaRDI QIDQ4121962FDOQ4121962

Authors: Roberto Magari 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Algebraic structures (08Axx)

Cited In (32)

• A note on the diagonalizable algebras of PA and ZF
• Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
• Franco Montagna's work on provability logic and many-valued logic
• Finite fixed point algebras are subdiagonalisable
• Topological Interpretations of Provability Logic
• Topological structure of diagonalizable algebras and corresponding logical properties of theories
• A note on the normal form of closed formulas of interpretability logic
• A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
• Magari and \(\Delta\)-pseudo-Boolean algebras
• On the autological character of diagonalizable algebras
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Provability multilattice logic
• On superintuitionistic logics as fragments of proof logic extensions
• The well-founded algebras
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• The undecidability of the first-order theory of diagonalizable algebras
• Calculating self-referential statements. I: Explicit calculations
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• On a strengthening of the non-isomorphism theorem for provability algebras
• Provability algebras and proof-theoretic ordinals. I
• 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.)
• Provability: The emergence of a mathematical modality
• NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
• Intuitionistic diagonalizable algebras
• Decision problems for classes of diagonalizable algebras
• On the relation provable equivalence and on partitions in effectively inseparable sets
• Fixed point algebras
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4121962)