1 citations · 3 across the 7 of their papers we have counts for
7 papers
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…
AVEC: Accelerator Virtualization in Cloud-Edge Computing for Deep Learning Libraries
Jason Kennedy, Blesson Varghese, Carlos Reaño
Edge computing offers the distinct advantage of harnessing compute capabilities on resources located at the edge of the network to run workloads of relatively weak user devices. Th…
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…