1 citations · 3 across the 7 of their papers we have counts for
Showing 2001Show all
2 papers · 1 filter
math.LO2001★ 1 cited
On regular reduced products
Juliette Kennedy, Saharon Shelah
Assume <aleph_0,aleph_1>-><lambda,lambda^+>. Assume M is a model of a first order theory T of cardinality at most lambda^+ in a vocabulary L(T) of cardinality <= lambda . Let N be…
math.LO2001
On embedding models of arithmetic of cardinality aleph_1 into reduced powers
Juliette Kennedy, Saharon Shelah
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 thi…