94 citations · 219 across the 40 of their papers we have counts for
37 papers · 1 filter
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…
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.
Inner models from extended logics and the Delta-operation
Jouko Väänänen, Ur Ya'ar
If is an abstract logic (a.k.a. model theoretic logic), we can define the inner model by replacing first order logic with in Gödel's de…