Pages that link to "Item:Q5001552"
From MaRDI portal
The following pages link to ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552):
Displaying 7 items.
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342) (← links)
- Numberings, c.e. oracles, and fixed points (Q6062177) (← 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)
- On Non-principal Arithmetical Numberings and Families (Q6489320) (← links)
