An open formalism against incompleteness

DOI10.1305/NDJFL/1038949537MaRDI QIDQ5937853zbMATH OpenOpenAlexFDO

Authors Francesc Tomàs

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1038949537

zbMATH Keywords

consistencyfirst-order logicomega-ruleopen formalism for arithmeticPeano Arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• An open logical framework
• scientific article; zbMATH DE number 1948185
• Formalizing soundness and completeness of unravelings
• A note on the \(\omega\)-incompleteness formalization
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 35401
• Phenomenology of incompleteness: From formal deductions to mathematics and physics
• The open logic and its relation to circumscription
• On the decidability of open logic
• Logics of formal inconsistency

Cites work

• Hilbert's program and the omega-rule
• Hilbert's Tenth Problem is Unsolvable
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• scientific article; zbMATH DE number 46958 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3424017 (Why is no real title available?)
• On the incompleteness theorems
• Proof of Recursive Unsolvability of Hilbert's Tenth Problem
• Proof theory. 2nd ed
• Reflecting on incompleteness
• Some rapidly growing functions
• Systems of Logic Based on Ordinals^†
• The constructive second number class
• Transfinite recursive progressions of axiomatic theories

Cited in

(3)

• A note on the \(\omega\)-incompleteness formalization
• Further applications of ultra-conservative ω-rules
• scientific article; zbMATH DE number 14544 (Why is no real title available?)

This page was built for publication: An open formalism against incompleteness

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