ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS

DOI10.1017/S1755020322000302MaRDI QIDQ6131232zbMATH OpenOpenAlexWikidataFDO

Authors E. A. Kolmakov

Publication date 4 April 2024

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

Full work available at URL https://arxiv.org/abs/2110.06712

zbMATH Keywords

isomorphismreflection principlesdiagonalizable algebraprovability predicateprovability algebraShavrukov's theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Abstract: We prove a strengthened version of V. Yu. Shavrukov's result on the non-isomorphism of diagonalizable algebras of two $Sigm{a}_1$-sound theories, based on the improvements previously found by G. Adamsson. We then obtain several corollaries to the strengthened result by applying it to various pairs of theories and obtain new non-isomorphism examples. In particular, we show that there is epimorphism from $(mathfrak{L}_T,Bo{x}_{T}Bo{x}_T)$ onto $(mathfrak{L}_T,Bo{x}_T)$. The case of bimodal diagonalizable algebras is also considered. We give several examples of pairs of theories with isomorphic diagonalizable algebras but non-isomorphic bimodal diagonalizable algebras.

Cites work

• scientific article; zbMATH DE number 3668596 (Why is no real title available?)
• scientific article; zbMATH DE number 3700836 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• scientific article; zbMATH DE number 937377 (Why is no real title available?)
• A Classification of the Recursive Functions
• A Machine-Independent Theory of the Complexity of Recursive Functions
• A jump operator on honest subrecursive degrees
• A note on the diagonalizable algebras of PA and ZF
• A proof-theoretic analysis of collection
• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• Deduction-preserving "Recursive Isomorphisms" between theories
• Existence and feasibility in arithmetic
• Induction rules, reflection principles, and provably recursive functions
• On the structure of the degrees of relative provability
• Proof-theoretic analysis by iterated reflection
• Reflection principles and provability algebras in formal arithmetic
• Self-reference and modal logic
• The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences
• Undecidability in diagonalizable algebras

This page was built for publication: ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS

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