𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Inconsistent Models of Arithmetic Part I: Finite Models

✍ Scribed by Graham Priest

Book ID
111533121
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
175 KB
Volume
26
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Inconsistent Models for Relevant Arithme
Inconsistent Models for Relevant Arithmetics
✍ Robert K. Meyer and Chris Mortensen πŸ“‚ Article πŸ“… 1984 πŸ› Association for Symbolic Logic 🌐 English βš– 337 KB
Arithmetic of divisibility in finite mod
Arithmetic of divisibility in finite models
✍ Marcin Mostowski; Anna E. Wasilewska πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 110 KB πŸ‘ 1 views

## Abstract We prove that the finite‐model version of arithmetic with the divisibility relation is undecidable (more precisely, it has Ξ ^0^~1~‐complete set of theorems). Additionally we prove FM‐representability theorem for this class of finite models. This means that a relation __R__ on natural nu

The Recursively Saturated Part of Models
The Recursively Saturated Part of Models of Peano Arithmetic
✍ Henryk Kotlarski πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 403 KB πŸ‘ 1 views

PA we define the rfcursively saturated part of XU by RS(9Jl) = ( a E $1: ( 3 8 < YJ?) ( a E )%I and 8 is recursively saturated)). We shall study various possibilities for the relationship between 912 and RS(XU). Tliii paper has grown out of our observation that it may happen that , D is a simple ex