The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra

DOI10.2307/2272065zbMath0275.02034OpenAlexW2080672777MaRDI QIDQ5183473

Clement F. Kent

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272065

Mathematics Subject Classification ID

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

Related Items (7)

On the complexity of arithmetical interpretations of modal formulae ⋮ Problemi aperti sulle algebre diagonali ⋮ 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.) ⋮ Around provability logic ⋮ \(\Sigma^ n_ 0\)-equivalence relations ⋮ The logic of arithmetical hierarchy

Cites Work

• Unnamed Item
• Unnamed Item
• Solution of a problem of Leon Henkin
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

This page was built for publication: The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra