✦ LIBER ✦

Live models in arithmetic?

✍ Scribed by ISOBEL L. LIVINGSTONE

Book ID: 125090886
Publisher: National Council of Teachers of Mathematics
Year: 1970
Weight: 281 KB
Volume: 17
Category: Article
ISSN: 0004-136X
DOI: 10.2307/41186132

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arithmetic Fuzzy Models

✍ Stepnicka, M.; De Baets, B.; Noskova, L. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 493 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

Generic cuts in models of arithmetic

✍ Richard Kaye 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB

## Abstract We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator __Y__. The notion of “indicator” is de.ned in a novel way, without initially specifying what property is indicated and is used to de.ne a topologi

Addition in Nonstandard Models of Arithm

Addition in Nonstandard Models of Arithmetic

✍ R. Phillips 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 244 KB

Subsets of models of arithmetic

✍ Roman Kossak; Jeffrey B. Paris 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 511 KB

On LP-Models of Arithmetic

✍ J. B. Paris and A. Sirokofskich 📂 Article 📅 2008 🏛 Association for Symbolic Logic 🌐 English ⚖ 978 KB