Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)

DOI10.1305/ndjfl/1040609301zbMath0801.03037OpenAlexW2280043161MaRDI QIDQ1333315

Domenico Zambella

Publication date: 13 September 1994

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040609301

zbMATH Keywords

weak theories of arithmeticsubalgebras of diagonalizable algebras of theories of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items

Franco Montagna's work on provability logic and many-valued logic ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Undecidability in diagonalizable algebras ⋮ No escape from Vardanyan's theorem ⋮ Interpretability over peano arithmetic ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS