On embedding models of arithmetic of cardinality aleph1 into reduced powers
Juliette Kennedy, Saharon Shelah
Abstract
In the early 1970's S.Tennenbaum proved that all countable models of PA- + forall1-Th(N) are embeddable into the reduced product Nomega/F, where F is the cofinite filter. In this paper we show that if M is a model of PA- + forall1-Th(N), and |M|= aleph1, then M is embeddable into Nomega/D, where D is any regular filter on omega.
Create a lesson
Related papers
Logarithmic--exponential preparation in sharply o-minimal structures
Gal Binyamini, Oded Carmon, Dmitry Novikov
Stoic Logic and Natural Term Logic
Clarence Lewis Protin
From raw Solvability Complexity Index proofs to Weihrauch degrees
Christopher Sorg
Existence of bases implies the axiom of choice, a foundation-free proof
Gabriel Fernandes, Renan Maneli Mezabarba, Vinicius de Oliveira Rodrigues
Every countable meet-continuous lattice is Scott sober
Xiaoquan Xu, Wei Ji
A minimal type of Morley rank ω in a partial differential field
Piotr Kowalski