𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Model of the Arithmetic of Alephs in the Equation Calculus

✍ Scribed by R. J. Plymen

Publisher
John Wiley and Sons
Year
1961
Tongue
English
Weight
73 KB
Volume
7
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Expanding the additive reduct of a model
Expanding the additive reduct of a model of Peano arithmetic
✍ Masahiko Murakami; Akito Tsuboi πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 124 KB πŸ‘ 1 views

## 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__

On the structure of kripke models of hey
On the structure of kripke models of heyting arithmetic
✍ Zoran MarkoviΔ‡ πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 456 KB πŸ‘ 1 views

## Abstract Since in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical str

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