Skip to main content
Article thumbnail
Location of Repository

The unprovability of small inconsistency

By A. Visser

Abstract

We show that a consistent, finitely axiomatized, sequential theory cannot prove its own\ud inconsistency on every definable cut. A corollary is that there are at least three degrees of global interpretability\ud of theories equivalent modulo local interprelability to a consistent, finitely axiomatized, sequential theory U

Topics: Wijsbegeerte, provability, interpretability, fragments of arithmetic
Year: 1991
OAI identifier: oai:dspace.library.uu.nl:1874/26521
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.