𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expanding the additive reduct of a model of Peano arithmetic

✍ Scribed by Masahiko Murakami; Akito Tsuboi

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
124 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Let M be a model of first order Peano arithmetic (PA) and I an initial segment of M that is closed under multiplication. Let__M__~0~ be the {0, 1,+}‐reduct of__M__. We show that there is another model N of PA that is also an expansion of M~0~ such that a Β· ^M^ a = a Β· ^N^ a if and only if a ∈ I for all a ∈ M.

πŸ“œ SIMILAR VOLUMES

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

The shortest definition of a number in P
The shortest definition of a number in Peano arithmetic
✍ Dev K. Roy πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 89 KB πŸ‘ 2 views

## Abstract The shortest definition of a number by a first order formula with one free variable, where the notion of a formula defining a number extends a notion used by Boolos in a proof of the Incompleteness Theorem, is shown to be non computable. This is followed by an examination of the complex

Applications of the MACBETH Approach in
Applications of the MACBETH Approach in the Framework of an Additive Aggregation Model
✍ CARLOS A. BANA E COSTA; JEAN-CLAUDE VANSNICK πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 198 KB πŸ‘ 2 views

In measurement theory terminology, MACBETH is an interactive approach for mapping into a real scale the various degrees to which the elements of a finite set possess a property P. The originality of MACBETH's questioning procedure is the possibility of establishing a constructive path towards cardin

A generalized additive model for the spa
A generalized additive model for the spatial distribution of snowpack in the Spanish Pyrenees
✍ J. I. LΓ³pez-Moreno; D. NoguΓ©s-Bravo πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 226 KB πŸ‘ 1 views

A generalized additive model (GAM) was used to model the spatial distribution of snow depth in the central Spanish Pyrenees. Statistically significant non-linear relationships were found between distinct location and topographical variables and the average depth of the April snowpack at 76 snow pole