94 citations · 219 across the 40 of their papers we have counts for
4 papers · 2 filters
When cardinals determine the power set: inner models and Härtig quantifier logic
Jouko Väänänen, Philip Welch
We make use of some observations on the core model, for example assuming , and that there is no inner model with a Woodin cardinal, and is an inner model with the sa…
Cartagena Logic
Siiri Kivimäki, Jouko Väänänen, Andrés Villaveces
We introduce a new kind of infinitary logic that we call Boolean expansion of . This logic involves a new kind of variable, that we call generalised Boolean vari…
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…
Team Semantics and Independence Notions in Quantum Physics
Samson Abramsky, Joni Puljujärvi, Jouko Väänänen
We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probab…