3 papers
math.LO2005
More on regular reduced products
Juliette Kennedy, Saharon Shelah
The authors show, by means of a finitary version square^{fin}_{lambda,D} of the combinatorial principle square^{b^*}_{lambda}, the consistency of the failure, relative to the consi…
math.LO2001
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…