Obserwuj
Jouko Väänänen
Jouko Väänänen
Professor of Mathematics, University of Helsinki and Professor of Logic, University of Amsterdam
Zweryfikowany adres z helsinki.fi - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Dependence logic: A new approach to independence friendly logic
J Väänänen
Cambridge University Press, 2007
5372007
Dependence and independence
E Grädel, J Väänänen
Studia Logica 101 (2), 399-410, 2013
2082013
Generalized quantifiers and pebble games on finite structures
PG Kolaitis, JA Väänänen
Annals of pure and applied logic 74 (1), 23-75, 1995
1771995
Second-order logic and foundations of mathematics
J Väänänen
Bulletin of Symbolic Logic 7 (4), 504-520, 2001
1742001
Logic and games
W Hodges, J Väänänen
1622001
From IF to BI: a tale of dependence and separation
S Abramsky, J Väänänen
Synthese 167, 207-230, 2009
1192009
Modal dependence logic
J Väänänen
New perspectives on games and interaction 4, 237-254, 2008
1162008
On definability in dependence logic
J Kontinen, J Väänänen
Journal of Logic, Language and Information 18, 317-332, 2009
1032009
Models and games
J Väänänen
Cambridge University Press, 2011
1002011
Propositional logics of dependence
F Yang, J Väänänen
Annals of Pure and Applied Logic 167 (7), 557-589, 2016
952016
The strength of Martin-Löf's intuitionistic type theory with one universe
P Aczel
Journal of Symbolic Logic 49 (1), 1984
871984
Realizability for constructive Zermelo-Fraenkel set theory
M Rathjen, J Väänänen, V Stoltenberg-Hansen
Logic Colloquium 3, 282-314, 2003
712003
Trees and-subsets of ω1ω1
A Mekler, J Väänänen
The Journal of Symbolic Logic 58 (3), 1052-1070, 1993
681993
Propositional team logics
F Yang, J Väänänen
Annals of Pure and Applied Logic 168 (7), 1406-1441, 2017
652017
Second order logic or set theory?
J Väänänen
Bulletin of Symbolic Logic 18 (1), 91-121, 2012
572012
The Härtig quantifier: A survey
H Herre, M Krynicki, A Pinus, J Väänänen
The Journal of symbolic logic 56 (4), 1153-1183, 1991
571991
Reflection principles for the continuum
J Stavi, J Vaananen
Contemporary Mathematics 302, 59-84, 2002
522002
Internal categoricity in arithmetic and set theory
J Väänänen, T Wang
502015
On Scott and Karp trees of uncountable models
T Hyttinen, J Väänänen
The Journal of symbolic logic 55 (3), 897-908, 1990
491990
Second-order and Higher-order Logic
J Väänänen
482019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20