An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)

DOI10.1007/BF02123402zbMath0357.02028OpenAlexW1987214648MaRDI QIDQ1237723

Giovanni Sambin

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123402

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Varieties (08B99) Proof theory and constructive mathematics (03F99)

Related Items

Effectively constructible fixed points in Sacchetti's modal logics of provability, The Henkin Sentence, Generic generalized Rosser fixed points, Some remarks on the algebraic structure of the Medvedev Lattice, On the \(\mu \)-calculus over transitive and finite transitive frames, A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\), A proof theory for the logic of provability in true arithmetic, The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}, Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic, Provability and interpretability logics with restricted realizations, Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond, Provability: The emergence of a mathematical modality, Scattered toposes, Fixed point algebras, Fixed points and unfounded chains, Note on some fixed point constructions in provability logic, Finite fixed point algebras are subdiagonalisable, 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, Rosser and Mostowski sentences, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, The modal logic of provability. The sequential approach, Constructive Modalities with Provability Smack, Decision problems for classes of diagonalizable algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic diagonalizable algebras
• An algebraic approach to non-classical logics
• Significato e verita nell'aritmetica peaniana
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Topological aspects of suitable theories
• Problemi aperti sulle algebre diagonali
• Gödel's diagonalization technique and related properties of theories