Pages that link to "Item:Q4829437"
From MaRDI portal
The following pages link to Finite sets and Gödel's incompleteness theorems (Q4829437):
Displaying 10 items.
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Hereditarily Finite Sets in Constructive Type Theory (Q2829273) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- Addition and multiplication of sets (Q3423150) (← links)
- A Formalisation of Finite Automata Using Hereditarily Finite Sets (Q3454094) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
