The GOEDEL program

DOI10.1007/S10817-012-9259-0MaRDI QIDQ1945913zbMATH OpenOpenAlexFDO

Authors Johan Gijsbertus Frederik Belinfante

Publication date 17 April 2013

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-012-9259-0

zbMATH Keywords

cardinalsordinalsclass theoryreificationrewrite ruleswrappers

Mathematics Subject Classification ID

Set theory (03E99)

Recommendations

• scientific article; zbMATH DE number 4115031
• scientific article; zbMATH DE number 619558
• The Ribe programme
• scientific article; zbMATH DE number 4056512
• Gödel's program
• scientific article; zbMATH DE number 3908658
• Erlangen program.
• The Sarkisov program

Cites work

• scientific article; zbMATH DE number 158462 (Why is no real title available?)
• scientific article; zbMATH DE number 5037234 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• A Definition of Ordinal Numbers
• A system of axiomatic set theory—Part I
• Computer proofs in Gödel's class theory with equational definitions for composite and cross
• On a Definition of Ordinal Numbers
• On computer-assisted proofs in ordinal number theory

Cited in

(7)

• scientific article; zbMATH DE number 7338289 (Why is no real title available?)
• Fontaine's programm
• scientific article; zbMATH DE number 619558 (Why is no real title available?)
• Reasoning about iteration in Gödel's class theory.
• scientific article; zbMATH DE number 1614691 (Why is no real title available?)
• scientific article; zbMATH DE number 3944672 (Why is no real title available?)
• The Sarkisov program

This page was built for publication: The GOEDEL program

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1945913)