Inconsistent models of arithmetic. I: Finite models
From MaRDI portal
Publication:1362598
Recommendations
- Inconsistent models of arithmetic. II: The general case
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Theories of arithmetics in finite models
- scientific article; zbMATH DE number 999649
- scientific article; zbMATH DE number 2236639
- scientific article; zbMATH DE number 4043837
- On the structure of initial segments of models of arithmetic
- Inconsistent Models for Relevant Arithmetics
- Inconsistent models for relevant arithmetics
- Regularity in models of arithmetic
Cites work
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 3467029 (Why is no real title available?)
- scientific article; zbMATH DE number 782632 (Why is no real title available?)
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
- Inconsistent models for relevant arithmetics
- Minimally inconsistent LP
Cited in
(21)- A note on Priest's finite inconsistent arithmetics
- Adaptive Fregean set theory
- scientific article; zbMATH DE number 3841857 (Why is no real title available?)
- Inconsistent Models for Relevant Arithmetics
- Notes on the model theory of DeMorgan logics
- Paraconsistent computation and dialetheic machines
- New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
- Second-order logic of paradox
- Inconsistent models of arithmetic. II: The general case
- On LP-models of arithmetic
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- Denotation, paradox and multiple meanings
- Inconsistency in mathematics and the mathematics of inconsistency
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
- On elimination of quantifiers in some non-classical mathematical theories
- Regularity in models of arithmetic
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Variations on the collapsing lemma
- Peeking at the impossible
- The scope of Gödel's first incompleteness theorem
- On paraconsistent downward Löwenheim-Skolem theorems
This page was built for publication: Inconsistent models of arithmetic. I: Finite models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1362598)
