Truth and reduction

DOI10.1023/A:1005662017962zbMath0971.03008OpenAlexW134717285MaRDI QIDQ1841002

Volker Halbach

Publication date: 22 February 2001

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005662017962

zbMATH Keywords

reductionsinterpretationsfirst-order theoriessecond-order number theoriestruth predicates

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (12)

Relative Truth Definability of Axiomatic Truth Theories ⋮ Truth and the Liar ⋮ Higher-order logic and disquotational truth ⋮ AXIOMS FOR GROUNDED TRUTH ⋮ Disquotational truth and analyticity ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ An ordinal analysis for theories of self-referential truth ⋮ Some notes on truths and comprehension ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Axiomatizing Kripke's theory of truth ⋮ MINIMAL TRUTH AND INTERPRETABILITY ⋮ A note on typed truth and consistency assertions

This page was built for publication: Truth and reduction