scientific article; zbMATH DE number 2014521
From MaRDI portal
Publication:4437331
Recommendations
- Interpretability suprema in Peano arithmetic
- A new principle in the interpretability logic of all reasonable arithmetical theories
- scientific article; zbMATH DE number 1215477
- scientific article; zbMATH DE number 4112583
- The interpretability logic of Peano arithmetic
- scientific article; zbMATH DE number 1062120
- scientific article; zbMATH DE number 4177049
- Characterizations of interpretability in bounded arithmetic
- scientific article; zbMATH DE number 49449
- scientific article; zbMATH DE number 1097010
Cited in
(39)- Rosser provability and normal modal logics
- WHAT IS A RESTRICTIVE THEORY?
- Relative Truth Definability of Axiomatic Truth Theories
- Mathematical developments of the incompleteness theorems
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
- On explicating the concept `the power of an arithmetical theory'
- On inclusions between quantified provability logics
- scientific article; zbMATH DE number 15306 (Why is no real title available?)
- Uniform density in Lindenbaum algebras
- Logicism, interpretability, and knowledge of arithmetic
- An introduction to Gödel's theorems
- On Guaspari's problem about partially conservative sentences
- On arithmetical completeness of the logic of proofs
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
- Provability logics relative to a fixed extension of Peano arithmetic
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- Extension and interpretability
- Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
- A theorem on partial conservativity in arithmetic
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- Some observations on the FGH theorem
- Truth and consistency
- On logical and scientific strength
- Neo-Logicism and Its Logic
- Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- On the conservation results for local reflection principles
- Of sheep and wolves: equivalence and disagreement in set theory
- Duality, non-standard elements, and dynamic properties of r.e. sets
- The strength of abstraction with predicative comprehension
- Universal Rosser predicates
- An Introduction to Gödel's Theorems
- A note on derivability conditions
- scientific article; zbMATH DE number 1062120 (Why is no real title available?)
- Effectively inseparable Boolean algebras in lattices of sentences
- Pour-El's landscape
- Rosser provability and the second incompleteness theorem
- On partial disjunction properties of theories containing Peano arithmetic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4437331)
