On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)

DOI10.1007/BF02124724zbMath0398.03054OpenAlexW44069527MaRDI QIDQ1254312

Franco Montagna

Publication date: 1978

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

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

zbMATH Keywords

VarietiesProof TheoryAlgebraic LogicBoolean AlgebrasDiagonalizable AlgebraEquational ClassPredicate Theor

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Varieties (08B99) Proof theory and constructive mathematics (03F99)

Related Items

Franco Montagna's work on provability logic and many-valued logic, Interpretability suprema in Peano arithmetic, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Rosser provability and normal modal logics, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, Transductions in arithmetic, Obituary: Franco Montagna (1948--2015), On the relation provable equivalence and on partitions in effectively inseparable sets, Arithmetical completeness theorem for modal logic \(\mathsf{K}\), Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations, Uniform density in Lindenbaum algebras, Fixed point algebras

Cites Work

• 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.)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• Topological aspects of suitable theories
• Unnamed Item
• Unnamed Item
• Unnamed Item