1 citations · 3 across the 7 of their papers we have counts for
6 papers · 1 filter
Logicality and Model Classes
Juliette Kennedy, Jouko Väänänen
We ask, when is a property of a model a logical property? According to the so-called Tarski-Sher criterion this is the case when the property is preserved by isomorphisms. We relat…
Inner Models from Extended Logics: Part 1
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
If we replace first order logic by second order logic in the original definition of Gödel's inner model , we obtain HOD. In this paper we consider inner models that arise if we…
Regular Ultrapowers at Regular Cardinals
Juliette Kennedy, Saharon Shelah, Jouko Vaananen
In earlier work of the second and third author the equivalence of a finite square principle square^fin_{lambda,D} with various model theoretic properties of structures of size lamb…
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…
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…
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…