scientific article; zbMATH DE number 3547370

Cited in

(32)

ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
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
A note on the normal form of closed formulas of interpretability logic
Topological structure of diagonalizable algebras and corresponding logical properties of theories
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.)
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
Provability multilattice logic
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
Topological interpretations of provability logic
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
The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
Fixed point algebras
On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)

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)