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):
Displaying 15 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- Theory of symbolic expressions. II (Q1075757) (← links)
- Automated proofs of Löb's theorem and Gödel's two incompleteness theorems (Q1110495) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski (Q2322259) (← links)
- A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem (Q2732301) (← links)
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos (Q2910986) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- Other Proofs of Old Results (Q4224081) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
