Inconsistent models of arithmetic. I: Finite models (Q1362598): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q591008 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: J. D. MacKenzie / rank | |||
Normal rank |
Revision as of 03:07, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inconsistent models of arithmetic. I: Finite models |
scientific article |
Statements
Inconsistent models of arithmetic. I: Finite models (English)
0 references
5 August 1997
0 references
This paper demonstrates the existence of interpretations of the paraconsistent logic LP which model theories properly containing all the sentences of first-order arithmetic. The metatheorem about LP used, the Collapsing Lemma, takes us from any interpretation to a new one, using an equivalence relation on the domain of interpretation which is also a congruence relation on the interpretations of the function symbols of the language. This means that in a process of collapse from one interpretation to another, truth values are not lost: anything true (false) in the original interpretation is true (false) in the collapsed interpretation. One group of models use identity modulo \(n\) for some \(n\) as the consequence relation, and the successor function becomes cyclic. Another group use a relation which identifies all numbers equal to or greater than some \(n\), giving a successor relation described as a heap. The general structure of a finite model is a tail, plus a cycle of regular numbers, plus a collection of cycles of irregular numbers, such that the period of each is a divisor of the cycle of regular numbers.
0 references
inconsistent models
0 references
paraconsistent logic
0 references
first-order arithmetic
0 references
Collapsing Lemma
0 references
interpretations
0 references
heap
0 references
finite model
0 references
tail
0 references