Truth and the philosophy of mathematics
From MaRDI portal
Publication:2080591
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Philosophy of mathematics (00A30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25) Mathematical logic and foundations (03-XX)
Recommendations
- Reality and Truth in Mathematics
- scientific article; zbMATH DE number 1450275
- scientific article; zbMATH DE number 1426641
- scientific article; zbMATH DE number 4145866
- scientific article; zbMATH DE number 1301803
- Interplay of philosophy and mathematics in the classical theory of truth
- Truth \& knowledge in logic \& mathematics
Cites work
- scientific article; zbMATH DE number 5959536 (Why is no real title available?)
- scientific article; zbMATH DE number 3825796 (Why is no real title available?)
- scientific article; zbMATH DE number 3931004 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 3687373 (Why is no real title available?)
- scientific article; zbMATH DE number 3722625 (Why is no real title available?)
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 1273299 (Why is no real title available?)
- scientific article; zbMATH DE number 1150714 (Why is no real title available?)
- scientific article; zbMATH DE number 1870427 (Why is no real title available?)
- scientific article; zbMATH DE number 1420857 (Why is no real title available?)
- scientific article; zbMATH DE number 2204757 (Why is no real title available?)
- scientific article; zbMATH DE number 3330710 (Why is no real title available?)
- scientific article; zbMATH DE number 3099243 (Why is no real title available?)
- A theory of formal truth arithmetically equivalent to ID1
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Abbreviating proofs by adding new axioms
- Against intuitionism: Constructive mathematics is part of classical mathematics
- Autonomous progression and transfinite iteration of self-applicable truth
- Axiomatic theories of truth
- Axiomatizing Kripke's theory of truth
- Conservativity for theories of compositional truth via cut elimination
- Construction of Satisfaction Classes for Nonstandard Models
- Elementary constructive operational set theory
- Feferman on foundations. Logic, mathematics, philosophy
- Friedman and the axiomatization of Kripke's theory of truth
- Full Satisfaction Classes and Recursive Saturation
- Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
- Iterated reflection over full disquotational truth
- Logical frameworks for truth and abstraction. An axiomatic study
- Models of \(\mathrm{PT}^-\) with internal induction for total formulae
- Models of weak theories of truth
- Notes on Formal Theories of Truth
- Notes on bounded induction for the compositional truth predicate
- On mathematical instrumentalism
- On power set in explicit mathematics
- Outline of a Theory of Truth
- Power types in explicit mathematics?
- Predicativity and Feferman
- Rethinking knowledge. The heuristic view
- Sets and Classes
- Some notes on truths and comprehension
- TRUTH AND FEASIBLE REDUCIBILITY
- The proof-theoretic analysis of transfinitely iterated fixed point theories
- Truth and speed-up
- Truths, inductive definitions, and Kripke-Platek systems over set theory
Cited in
(4)
This page was built for publication: Truth and the philosophy of mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080591)
