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

diagonalizable algebrafirst order theoriesundecidabilityupper 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

• 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
• 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?)
• 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)

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

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)