TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES

DOI10.1017/JSL.2019.90zbMath1471.03085OpenAlexW3016671586WikidataQ120373611 ScholiaQ120373611MaRDI QIDQ5107215

Joost J. Joosten, Evan Goris

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

zbMATH Keywords

interpretationsweak arithmeticsarithmetizationdefinable cutsformal provabilityinterpretability logics

Mathematics Subject Classification ID

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)

INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS

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