scientific article; zbMATH DE number 2014521
From MaRDI portal
Publication:4437331
zbMATH Open1036.03002MaRDI QIDQ4437331FDOQ4437331
Publication date: 8 December 2003
Title of this publication is not available (Why is that?)
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
- The interpretability logic of Peano arithmetic
- scientific article; zbMATH DE number 1062120
- Publication:3201044
- Characterizations of interpretability in bounded arithmetic
- scientific article
- scientific article; zbMATH DE number 1097010
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Cited In (33)
- Relative Truth Definability of Axiomatic Truth Theories
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
- On explicating the concept `the power of an arithmetical theory'
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
- On inclusions between quantified provability logics
- Title not available (Why is that?)
- Uniform density in Lindenbaum algebras
- On Guaspari's problem about partially conservative sentences
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
- On arithmetical completeness of the logic of proofs
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- Extension and interpretability
- A theorem on partial conservativity in arithmetic
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- Some observations on the FGH theorem
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- Truth and consistency
- Neo-Logicism and Its Logic
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC
- UNIVERSAL ROSSER PREDICATES
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- A NOTE ON DERIVABILITY CONDITIONS
- Duality, non-standard elements, and dynamic properties of r.e. sets
- An Introduction to Gödel's Theorems
- Pour-El's landscape
- Title not available (Why is that?)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
- Effectively inseparable Boolean algebras in lattices of sentences
- Rosser provability and the second incompleteness theorem
- On partial disjunction properties of theories containing Peano arithmetic
- Rosser provability and normal modal logics
- WHAT IS A RESTRICTIVE THEORY?
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)