TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
DOI10.1017/JSL.2019.90zbMath1471.03085OpenAlexW3016671586WikidataQ120373611 ScholiaQ120373611MaRDI QIDQ5107215
Publication date: 17 April 2020
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2445/161941
interpretationsweak arithmeticsarithmetizationdefinable cutsformal provabilityinterpretability logics
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)
Related Items (1)
Cites Work
- The formalization of interpretability
- The interpretability logic of all reasonable arithmetical theories. The new conjecture
- The arithmetics of a theory
- Undecidable theories
- A new principle in the interpretability logic of all reasonable arithmetical theories
- A lattice of chapters of mathematics (interpretations between theorems [theories)]
- The interpretability logic of Peano arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES