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):
Displaying 5 items.
- \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454) (← links)
- 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)