Pages that link to "Item:Q4521125"
From MaRDI portal
The following pages link to On Models Constructed by Means of the Arithmetized Completeness Theorem (Q4521125):
Displayed 4 items.
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos (Q2910986) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)