Pages that link to "Item:Q1893141"
From MaRDI portal
The following pages link to On formalization of model-theoretic proofs of Gödel's theorems (Q1893141):
Displayed 7 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← 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)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)