Truth and speed-up

DOI10.1017/S1755020314000070MaRDI QIDQ2940877zbMATH OpenFDO

Authors Martin J. Fischer

Publication date 21 January 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020314000070

zbMATH Keywords

Peano arithmeticspeed-uptheories of truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• TRUTH AND FEASIBLE REDUCIBILITY
• Minimal truth and interpretability
• Conservativity for theories of compositional truth via cut elimination
• Deflationism and conservativeness: did someone change the subject?
• Reducing compositional to disquotational truth

Cites work

• A note on the undefinability of cuts
• Axiomatic theories of truth
• Construction of Satisfaction Classes for Nonstandard Models
• Cuts, consistency statements and interpretations
• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 2212008 (Why is no real title available?)
• Logical foundations of mathematics and computational complexity. A gentle introduction
• Notes on Formal Theories of Truth
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
• On mathematical instrumentalism
• Relative Truth Definability of Axiomatic Truth Theories
• Undecidable theories
• Unifying the philosophy of truth

Cited in

(13)

• Truth and the philosophy of mathematics
• Reflecting and unfolding
• Fast-collapsing theories
• On speed versus accuracy: Some case studies
• T-equivalences for positive sentences
• Consistency and the theory of truth
• Speed is more powerful than clairvoyance
• TRUTH AND FEASIBLE REDUCIBILITY
• The expressive power of truth
• Models of positive truth
• On mathematical instrumentalism
• Models of \(\mathrm{PT}^-\) with internal induction for total formulae
• Minimal truth and interpretability

This page was built for publication: Truth and speed-up

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