On the logic of reducibility: Axioms and examples

DOI10.1023/A:1005692729370zbMath0969.03068OpenAlexW94633510MaRDI QIDQ1841000

Karl-Georg Niebergall

Publication date: 30 September 2001

Published in: Erkenntnis (Search for Journal in Brave)

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

zbMATH Keywords

reductionrelative interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Relative consistency and interpretations (03F25)

Related Items (5)

Relative Truth Definability of Axiomatic Truth Theories ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ Arithmetic, set theory, reduction and explanation ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ THE EXPRESSIVE POWER OF TRUTH

This page was built for publication: On the logic of reducibility: Axioms and examples