TRUTH AND SPEED-UP
From MaRDI portal
Publication:2940877
DOI10.1017/S1755020314000070zbMath1329.03090MaRDI QIDQ2940877
Publication date: 21 January 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
Related Items
TRUTH AND FEASIBLE REDUCIBILITY, THE EXPRESSIVE POWER OF TRUTH, MODELS OF POSITIVE TRUTH, MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE, Truth and the philosophy of mathematics, Reflecting and unfolding, CONSISTENCY AND THE THEORY 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