Undecidability in diagonalizable algebras

DOI10.2307/2275733MaRDI QIDQ4338316zbMATH OpenOpenAlexFDO

Authors V. Yu. Shavrukov

Publication date 18 August 1997

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

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

zbMATH Keywords

undecidabilitydiagonalizable algebrafirst order theoriesupper bounds on undecidable quantifier alternations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• The finite inseparability of the first-order theory of diagonalisable algebras
• Decision problems for classes of diagonalizable algebras
• On propositional quantifiers in provability logic
• scientific article; zbMATH DE number 3928996

Cites work

• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A generalized notion of weak interpretability and the corresponding modal logic
• A note on the diagonalizable algebras of PA and ZF
• FINITENESS OF $ E(\mathbf{Q})$ AND $ \textrm{Ø}(E,\mathbf{Q})$ FOR A SUBCLASS OF WEIL CURVES
• Fixed point algebras
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• Minimal elements of \(\text{И}(H;p)\) and conjugacy of Levi complements in finite Chevalley groups.
• On bimodal logics of provability
• On propositional quantifiers in provability logic
• On the proofs of arithmetical completeness for interpretability logic
• Provability interpretations of modal logic
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Self-reference and modal logic
• Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
• The finite inseparability of the first-order theory of diagonalisable algebras
• The interpretability logic of Peano arithmetic
• The logic of linear tolerance
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• The undecidability of the first-order theory of diagonalizable algebras
• Universality of Tag Systems with P = 2

Cited in

(19)

• Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
• scientific article; zbMATH DE number 733218 (Why is no real title available?)
• Decision problems for classes of diagonalizable algebras
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• Hyperdiagonalizable algebras
• Undecidable theories of Lyndon algebras
• On the autological character of diagonalizable algebras
• The finite inseparability of the first-order theory of diagonalisable algebras
• Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
• A note on the diagonalizable algebras of PA and ZF
• On a strengthening of the non-isomorphism theorem for provability algebras
• Effectively inseparable Boolean algebras in lattices of sentences
• scientific article; zbMATH DE number 3882425 (Why is no real title available?)
• Undecidability of relatively free Hilbert algebras
• Fixed points and unfounded chains
• ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
• scientific article; zbMATH DE number 3928996 (Why is no real title available?)
• Linear \(\mathrm{GLP}\)-algebras and their elementary theories
• Franco Montagna's work on provability logic and many-valued logic

This page was built for publication: Undecidability in diagonalizable algebras

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