Truth and the philosophy of mathematics

DOI10.1007/978-3-030-84706-7_12OpenAlexW4231029062MaRDI QIDQ2080591

Andrea Cantini

Publication date: 9 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_12

zbMATH Keywords

axiomatic theories of truthtyped theoryKripke-Feferman theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25) Mathematical logic and foundations (03-XX)

Related Items (1)

Predicativity and constructive mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some notes on truths and comprehension
• Against intuitionism: Constructive mathematics is part of classical mathematics
• Rethinking knowledge. The heuristic view
• Logical frameworks for truth and abstraction. An axiomatic study
• Feferman on foundations. Logic, mathematics, philosophy
• Models of weak theories of truth
• TRUTH AND SPEED-UP
• Autonomous progression and transfinite iteration of self-applicable truth
• INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
• A theory of formal truth arithmetically equivalent to ID₁
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Notes on Formal Theories of Truth
• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Power types in explicit mathematics?
• Outline of a Theory of Truth
• Iterated reflection over full disquotational truth
• TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
• On power set in explicit mathematics
• TRUTH AND FEASIBLE REDUCIBILITY
• Predicativity and Feferman
• Sets and Classes
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
• Axiomatizing Kripke's theory of truth
• Abbreviating proofs by adding new axioms
• On mathematical instrumentalism
• MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE

This page was built for publication: Truth and the philosophy of mathematics