papers
Publications (19)
math.LO1997
Stationary sets and infinitary logic
Saharon Shelah, Jouko Väänänen
math.LO2012
Axiomatizing first order consequences in dependence logic
Juha Kontinen, Jouko Väänänen
math.LO2014
The Logic of Approximate Dependence
Jouko Väänänen
math.LO2016
Dependence Logic in Pregeometries and $Ï$-Stable Theories
Gianluca Paolini, Jouko Väänänen
math.LO2012
On Second-order Characterizability
Tapani Hyttinen, Kaisa Kangas, Jouko Väänänen
math.LO2002
More on the Ehrenfencht-Fraisse game of length omega_1
Tapani Hyttinen, Saharon Shelah, Jouko Väänänen
math.LO1993
On the number of automorphism of uncontable models
Saharon Shelah, Heikki Tuuri, Jouko Väänänen
math.LO2013
Dependence Logic with Generalized Quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
math.LO2012
An Ehrenfeucht-Fraïssé Game for $L_{Ï_1Ï}$
Jouko Väänänen, Tong Wang
math.LO2016
Quantum Team Logic and Bell's Inequalities
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
math.LO1993
The Ehrenfeucht-Fraisse-game of length omega_1
Alan H. Mekler, Saharon Shelah, Jouko Väänänen
math.LO2004
Recursive logic frames
Saharon Shelah, Jouko Väänänen
math.LO2013
On Dependence Logic
Pietro Galliani, Jouko Väänänen
math.LO2016
A Logic for Arguing About Probabilities in Measure Teams
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
cs.LO2012
Dependence and Independence
Erich Grädel, Jouko Väänänen
math.LO2016
A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
Dorottya Sziráki, Jouko Väänänen
math.LO2013
Positional strategies in long Ehrenfeucht-Fraissé games
Saharon Shelah, Jouko Väänänen, Boban Velickovic
math.LO2000
A Note on Extensions of Infinitary Logic
Saharon Shelah, Jouko Väänänen
math.LO2012
The size of a formula as a measure of complexity
Lauri Hella, Jouko Väänänen