94 citations · 219 across the 40 of their papers we have counts for
41 papers
Second order logic and Set Theory Redux
Jouko Väänänen
We argue that second order logic is a weaker form of set theory, despite the fact that the former is formalized in a second order langauge and the latter in a first order language.…
A New Ehrenfeucht-Fraïssé Game for Dependence Logic
Joni Puljujärvi, Jouko Väänänen
We define a new Ehrenfeucht-Fraïssé game for dependence logic. The previously known rendition of such a game was based on moves that are teams. Since teams can be massive, making t…
Aspects of Coherence in Dependence Logic
Timon Barlag, Nicolas Fröhlich, Miika Hannula +4
Dependence logic extends first-order logic with dependence atoms asserting that the value of a variable is determined by the values of certain other variables. The semantics of dep…
Expressibility and inexpressibility in propositional team logics
Matilda Häggblom, Minna Hirvonen, Jouko Väänänen
We develop dimension theoretic methods for propositional team based logics. Such quantitative methods were defined for team based first-order logic in a recent paper by Hella, Luos…
New inner models from second order logics
Menachem Magidor, Jouko Väänänen
We define a new inner model C2(omega) based on the fragment of second order logic in which second order variables range over countable subsets of the domain. We compare C2(omega) t…
Model theory of second order logic
Jouko Väänänen
This is a survey of the model theory of second order logic.