, Volume 53, Issue 1, pp 27–61

On The Logic Of Reducibility: Axioms And Examples

  • Karl-Georg Niebergall

DOI: 10.1023/A:1005692729370

Cite this article as:
Niebergall, KG. Erkenntnis (2000) 53: 27. doi:10.1023/A:1005692729370


This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.

Copyright information

© Kluwer Academic Publishers 2000

Authors and Affiliations

  • Karl-Georg Niebergall
    • 1
  1. 1.Institut für Philosophie Logik & WissenschaftstheorieLudwig-Maximilians UniversitätMunchenGermany