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 (7)

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

This page was built for publication: Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)