✦ LIBER ✦

Types Omitted in Uncountable Models of Arithmetic

✍ Scribed by Julia F. Knight

Book ID: 124972412
Publisher: Association for Symbolic Logic
Year: 1975
Tongue: English
Weight: 143 KB
Volume: 40
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272157

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Omitting uncountable types and extension

Omitting uncountable types and extensions of Elementary logic

✍ PER LINDSTRÖM 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 199 KB

Omitting uncountable types and the stren

Omitting uncountable types and the strength of -valued logics

✍ Caicedo, Xavier; Iovino, José N. 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 488 KB

Omitting Types in Set Theory and Arithme

Omitting Types in Set Theory and Arithmetic

✍ Julia F. Knight 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 222 KB

Live models in arithmetic?

✍ ISOBEL L. LIVINGSTONE 📂 Article 📅 1970 🏛 National Council of Teachers of Mathematics ⚖ 281 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