Inconsistent models of arithmetic. I: Finite models (Q1362598): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56852437, #quickstatements; #temporary_batch_1709550817224 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4052072 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4001935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inconsistent models for relevant arithmetics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4841568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992933 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimally inconsistent LP / rank | |||
Normal rank |
Latest revision as of 17:59, 27 May 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
0 references