scientific article; zbMATH DE number 7594133

MaRDI QIDQ5869558zbMATH OpenFDO

Authors Michael Gabbay

Publication date 28 September 2022

zbMATH Keywords

treetrutharithmeticset theoryformalismrecursive ordinalomega-rule

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Formal theories of truth
• Notes on Formal Theories of Truth
• Formalization and the objects of logic
• Logical Form and Truth-Conditions
• On forms of justification in set theory
• Interpretation and truth in set theory
• scientific article; zbMATH DE number 3020851
• Intuitionism and formalism
• Publication:4859932

Cited in

(7)

• Platonistic formalism
• A formalist philosophy of mathematics. I: Arithmetic
• Observations on truth, consistency and lengths of proofs
• Interpretation and truth in set theory
• A mathematical theory of truth and an application to the regress problem
• scientific article; zbMATH DE number 4164796 (Why is no real title available?)
• Logical Form and Truth-Conditions

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 Q5869558)