On embedding models of arithmetic of cardinality aleph1 into reduced powers
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.