The following pages link to SELF-REFERENCE IN ARITHMETIC II (Q5176166):
Displaying 12 items.
- Alethic reference (Q777945) (← links)
- Reference and truth (Q777946) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← 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)
- 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)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
