scientific article; zbMATH DE number 7594133

MaRDI QIDQ5869558FDOQ5869558

Authors: Michael Gabbay 

Publication date: 28 September 2022

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

treetrutharithmeticset theoryformalismrecursive ordinalomega-rule

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (7)

• 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
• Title not available (Why is that?)
• Logical Form and Truth-Conditions
• Platonistic formalism

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)