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
- Publication:3201044
- Characterizations of interpretability in bounded arithmetic
- scientific article; zbMATH DE number 49449
- scientific article; zbMATH DE number 1097010
Cited in
(34)- Pour-El's landscape
- Rosser provability and the second incompleteness theorem
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
- On Guaspari's problem about partially conservative sentences
- Extension and interpretability
- scientific article; zbMATH DE number 1062120 (Why is no real title available?)
- Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
- An introduction to Gödel's theorems
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- On inclusions between quantified provability logics
- Truth and consistency
- The strength of abstraction with predicative comprehension
- On arithmetical completeness of the logic of proofs
- Universal Rosser predicates
- Logicism, interpretability, and knowledge of arithmetic
- Neo-Logicism and Its Logic
- Relative Truth Definability of Axiomatic Truth Theories
- Uniform density in Lindenbaum algebras
- Provability logics relative to a fixed extension of Peano arithmetic
- Some observations on the FGH theorem
- On partial disjunction properties of theories containing Peano arithmetic
- Effectively inseparable Boolean algebras in lattices of sentences
- A note on derivability conditions
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- scientific article; zbMATH DE number 15306 (Why is no real title available?)
- An Introduction to Gödel's Theorems
- A theorem on partial conservativity in arithmetic
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- Duality, non-standard elements, and dynamic properties of r.e. sets
- Rosser provability and normal modal logics
- On explicating the concept `the power of an arithmetical theory'
- WHAT IS A RESTRICTIVE THEORY?
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
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)
