scientific article; zbMATH DE number 5255443

MaRDI QIDQ5454218zbMATH OpenFDO

Authors

Publication date 28 March 2008

zbMATH Keywords

incompleteness of first-order arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• Ancestral Logic: A Proof Theoretical Study
• Hereditary arithmetics
• Additive progression in prehistoric mathematics: A conjecture
• The arithmetics of a theory
• scientific article; zbMATH DE number 4045685
• On the number of productive ancestors in large populations

Cited in

(8)

• Axiomatizations of arithmetic and the first-order/second-order divide
• The middle ground-ancestral logic
• A theorem on partial conservativity in arithmetic
• What's so special about the Gödel sentence \(\mathcal{G}\)?
• scientific article; zbMATH DE number 4021095 (Why is no real title available?)
• Plural ancestral logic as the logic of arithmetic
• Isaacson's thesis on arithmetical truth
• What are extremal axioms?

This page was built for publication:

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