TRUTH AND SPEED-UP

DOI10.1017/S1755020314000070zbMath1329.03090MaRDI QIDQ2940877

Martin J. Fischer

Publication date: 21 January 2015

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

zbMATH Keywords

Peano arithmetictheories of truthspeed-up

Mathematics Subject Classification ID

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

Related Items (7)

CONSISTENCY AND THE THEORY OF TRUTH ⋮ TRUTH AND FEASIBLE REDUCIBILITY ⋮ MODELS OF POSITIVE TRUTH ⋮ MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE ⋮ Truth and the philosophy of mathematics ⋮ Reflecting and unfolding ⋮ THE EXPRESSIVE POWER OF TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unifying the philosophy of truth
• Undecidable theories
• Relative Truth Definability of Axiomatic Truth Theories
• A note on the undefinability of cuts
• Cuts, consistency statements and interpretations
• Notes on Formal Theories of Truth
• Construction of Satisfaction Classes for Nonstandard Models
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
• Logical Foundations of Mathematics and Computational Complexity
• On mathematical instrumentalism

This page was built for publication: TRUTH AND SPEED-UP