A NOTE ON DERIVABILITY CONDITIONS
From MaRDI portal
Publication:5855755
DOI10.1017/jsl.2020.33zbMath1473.03037arXiv1902.00895OpenAlexW3098929795MaRDI QIDQ5855755
Publication date: 19 March 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.00895
Related Items
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY, Arithmetical completeness theorems for monotonic modal logics, DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, Rosser provability and the second incompleteness theorem
Cites Work
- Transductions in arithmetic
- Self-reference and modal logic
- Independent numerations of theories and recursive progressions
- A remark on equivalent Rosser sentences
- Derivability conditions on Rosser's provability predicates
- Undecidable theories
- Solution of a problem of Leon Henkin
- Arithmetization of metamathematics in a general setting
- Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
- Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
- A concise introduction to mathematical logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item