The following pages link to SELF-REFERENCE IN ARITHMETIC I (Q5176165):
Displayed 15 items.
- Alethic reference (Q777945) (← links)
- Reference and truth (Q777946) (← links)
- Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth (Q1749803) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? (Q3295825) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- REFERENCE IN ARITHMETIC (Q4961744) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← links)
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342) (← links)
- GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE (Q6041351) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- Varieties of self-reference in metamathematics (Q6166124) (← links)