On embedding models of arithmetic of cardinality aleph₁ into reduced powers
classification
🧮 math.LO
keywords
omegaalephembeddablefilterforallmodelsreducedarithmetic
read the original abstract
In the early 1970's S.Tennenbaum proved that all countable models of PA^- + forall_1-Th(N) are embeddable into the reduced product N^omega/F, where F is the cofinite filter. In this paper we show that if M is a model of PA^- + forall_1-Th(N), and |M|= aleph_1, then M is embeddable into N^omega/D, where D is any regular filter on omega.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.