Conservative theories of classical truth

DOI10.1023/A:1005148426909zbMath0930.03086OpenAlexW1596701060MaRDI QIDQ1300008

Volker Halbach

Publication date: 15 February 2000

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

cut eliminationaxiomatic theories of truthsubsystems of second-order arithmeticsatisfaction class

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Basic properties of first-order languages and structures (03C07)

Related Items

Relative Truth Definability of Axiomatic Truth Theories ⋮ CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION ⋮ Truth, reflection and hierarchies ⋮ Theories of truth without standard models and Yablo's sequences ⋮ Disquotational truth and analyticity ⋮ Classes and truths in set theory ⋮ More on Systems of Truth and Predicative Comprehension ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH ⋮ MINIMAL TRUTH AND INTERPRETABILITY