On embedding models of arithmetic of cardinality א1 into reduced powers
نویسندگان
چکیده
In the early 1970’s S.Tennenbaum proved that all countable models of PA+∀1−Th(N) are embeddable into the reduced product N /F , where F is the cofinite filter. In this paper we show that if M is a model of PA− + ∀1 − Th(N), and |M | = א1, then M is embeddable into N/D, where D is any regular filter on ω.
منابع مشابه
Cardinal Numbers
Part 1 Cardinality of Sets 2 1. Our Purpose 2 2. Introduction 2 3. Notation 3 4. Basic Operations 3 5. Notation and definitions for classes of cardinal numbers 3 6. Basic properties of Cardinal Arithmetic 5 7. General Arithmetic Properties Of Transfinite Cardinals 5 7.1. Useful Special Cases 5 7.2. General Cases 5 8. Specific Arithmetic Relations 6 8.1. Cases involving א0 6 8.2. Cases involving...
متن کاملClasses Stable in א 0
ELEMENTARY CLASSES STABLE IN א0 SAHARON SHELAH AND SEBASTIEN VASEY Abstract. We study abstract elementary classes (AECs) that, in א0, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). We prove that such classes exhibit superstable-like behavior at א0. More precisely, there is a superlimit model of cardinality א0 and the class generat...
متن کاملEmbedding Properties of Endomorphism Semigroups
Denote by PSelf Ω (resp., Self Ω) the partial (resp., full) transformation monoid over a set Ω, and by SubV (resp., EndV ) the collection of all subspaces (resp., endomorphisms) of a vector space V . We prove various results that imply the following: (1) If cardΩ > 2, then Self Ω has a semigroup embedding into the dual of Self Γ iff card Γ > 2 . In particular, if Ω has at least two elements, th...
متن کاملO ] 1 6 M ay 2 00 1 On regular reduced products ∗
Assume 〈א0,א1〉 → 〈λ, λ +〉. Assume M is a model of a first order theory T of cardinality at most λ+ in a vocabulary L(T ) of cardinality ≤ λ. Let N be a model with the same vocabulary. Let ∆ be a set of first order formulas in L(T ) and let D be a regular filter on λ. Then M is ∆-embeddable into the reduced power N/D, provided that every ∆-existential formula true in M is true also in N . We obt...
متن کامل0 On our paper ‘ Almost Free Splitter ’ , a correction
Let R be a subring of Q and recall from [3] that an R-module G is a splitter if ExtR(G,G) = 0. We correct the statement of Main Theorem 1.5 in [3]. Assuming CH any א1-free splitter of cardinality א1 is free over its nucleus as shown in [3]. Generally these modules are very close to being free as explained below. This change follows from [3] and is due to an incomplete proof (noticed thanks to P...
متن کامل