MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
From MaRDI portal
Publication:5737967
DOI10.1017/S1755020316000356zbMath1417.03294MaRDI QIDQ5737967
Bartosz Wcisło, Cezary Cieśliński, Mateusz Łełyk
Publication date: 31 May 2017
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Related Items (4)
TRUTH AND FEASIBLE REDUCIBILITY ⋮ MODELS OF POSITIVE TRUTH ⋮ Truth and the philosophy of mathematics ⋮ DISJUNCTIONS WITH STOPPING CONDITIONS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonstandard definability
- TRUTH AND SPEED-UP
- T-EQUIVALENCES FOR POSITIVE SENTENCES
- Relative Truth Definability of Axiomatic Truth Theories
- Notes on Formal Theories of Truth
- THE EXPRESSIVE POWER OF TRUTH
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
- MINIMAL TRUTH AND INTERPRETABILITY
This page was built for publication: MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE