The unprovability of small inconsistency - A study of local and global interpretability

Albert Visser

doi:10.1007/BF01387407

The unprovability of small inconsistency - A study of local and global interpretability

Albert Visser^*

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

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

Original language	English
Pages (from-to)	275-298
Number of pages	24
Journal	Archive for Mathematical Logic
Volume	32
Issue number	4
DOIs	https://doi.org/10.1007/BF01387407
Publication status	Published - Jul 1993

Access to Document

10.1007/BF01387407

Cite this

@article{2ffc9b1657814d6d9258dafee14c1b65,

title = "The unprovability of small inconsistency - A study of local and global interpretability",

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

author = "Albert Visser",

year = "1993",

month = jul,

doi = "10.1007/BF01387407",

language = "English",

volume = "32",

pages = "275--298",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "4",

}

TY - JOUR

T1 - The unprovability of small inconsistency - A study of local and global interpretability

AU - Visser, Albert

PY - 1993/7

Y1 - 1993/7

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

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

UR - http://www.scopus.com/inward/record.url?scp=0010103942&partnerID=8YFLogxK

U2 - 10.1007/BF01387407

DO - 10.1007/BF01387407

M3 - Article

AN - SCOPUS:0010103942

SN - 0933-5846

VL - 32

SP - 275

EP - 298

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 4

ER -

The unprovability of small inconsistency - A study of local and global interpretability

Abstract

Access to Document

Other files and links

Fingerprint

Cite this