Jouko Väänänen

Q: What Schools Are Affiliated With Jouko Väänänen

Jouko Väänänen is affiliated with the following schools: University of Amsterdam, Victoria University of Manchester, University of Turku, University of Manchester, University of Helsinki

Jouko Väänänen's AcademicInfluence.com Rankings

Jouko Väänänen

Philosophy

#2617

World Rank

#4418

Historical Rank

Logic

#770

World Rank

#1301

Historical Rank

philosophy Degrees

Jouko Väänänen

Mathematics

#4489

World Rank

#6366

Historical Rank

mathematics Degrees

Download Badge

Philosophy
Mathematics

Jouko Väänänen's Degrees

PhD Mathematics University of Helsinki

Why Is Jouko Väänänen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Jouko Antero Väänänen is a Finnish mathematical logician known for his contributions to set theory, model theory, logic and foundations of mathematics. He served as the vice-rector at the University of Helsinki, and a professor of mathematics at the University of Helsinki, as well as a professor of mathematical logic and foundations of mathematics at the University of Amsterdam. He completed his PhD at the University of Manchester under the supervision of Peter Aczel in 1977 with the PhD thesis entitled "Applications of set theory to generalized quantifiers". He was elected to the Finnish Academy of Science and Letters in 2002. He served as a member of the Senate of the University of Helsinki from 2004 to 2006 and the Treasurer of the European Mathematical Society from 2007 to 2014, as well as the Treasurer of the European Set Theory Society since 2012.

(See a Problem?)

Jouko Väänänen's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Dependence Logic - A New Approach to Independence Friendly Logic (2007) (263)
Dependence and Independence (2012) (257)
Second-Order Logic and Foundations of Mathematics (2001) (125)
Generalized quantifiers and pebble games on finite structures (1992) (121)
On Dependence Logic (2013) (108)
On Definability in Dependence Logic (2009) (86)
Propositional logics of dependence (2014) (74)
Generalized Quantifiers (1997) (69)
From IF to BI (2009) (67)
Logic and Games (2001) (67)
Pseudo-finite model theory ⇤ (2003) (45)
Axiomatizing first order consequences in dependence logic (2012) (43)
Trees and Π 1 1 -Subsets of ω1 ω 1 (1993) (42)
On Scott and Karp trees of uncountable models (1990) (41)
Propositional team logics (2016) (39)
Second Order Logic or Set Theory? (2012) (36)
Lindstrom theorems for fragments of first-order logic (2007) (35)
Partially Ordered Connectives (1992) (33)
On the semantics of informational independence (2002) (33)
Independence in Database Relations (2013) (32)
Reflection principles for the continuum (2008) (30)
Second-order and higher-order logic (2019) (30)
QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES (2014) (29)
A Logical Approach to Context-Specific Independence (2016) (28)
The Härtig quantifier: a survey (1991) (28)
Abstract model theory as a framework for universal logic (2005) (28)
From IF to BI: a tale of dependence and separation (2011) (27)
The Ehrenfeucht-Fraïssé-game of length ₁ (1993) (27)
Unary Quantifiers on Finite Models (1997) (27)
The hierarchy theorem for generalized quantifiers (1996) (26)
Trees and π11-subsets of ω1ω (1993) (26)
Definability of Polyadic Lifts of Generalized Quantifiers (1997) (26)
Games and Trees in Infinitary Logic: A Survey (1995) (25)
A Remark on Negation in Dependence Logic (2011) (25)
Geometry of interaction IV: the feedback equation (2006) (25)
A logic for arguing about probabilities in measure teams (2015) (24)
Models and Games (2011) (24)
Abstract Logic and Set Theory. I. Definability (1979) (23)
Internal Categoricity in Arithmetic and Set Theory (2015) (22)
Henkin and Function Quantifiers (1989) (22)
Barwise: Abstract Model Theory and Generalized Quantifiers (2004) (18)
Dependence of variables construed as an atomic formula (2010) (18)
Trees and Ehrenfeucht-Fraïssé Games (1997) (17)
Team Logic (2007) (17)
Trees and -subsets of ω1ω1 (1993) (17)
On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic (2011) (17)
Modal Dependence Logic (2008) (17)
The Logic of Approximate Dependence (2014) (15)
On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models (2002) (15)
DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES (2016) (14)
Dependence Logic: Preliminaries (2007) (14)
Generalized Quantifiers, an Introduction (1997) (13)
Multiverse Set Theory and Absolutely Undecidable Propositions Jouko Väänänen (2013) (13)
Interpreting Gödel: Multiverse set theory and absolutely undecidable propositions (2014) (13)
Dependence Logic with Generalized Quantifiers: Axiomatizations (2013) (12)
A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$ (1991) (12)
Dependence, Independence, and Incomplete Information (2012) (12)
Chain Models, Trees of singular Cardinality and Dynamic EF-Games (2011) (12)
Finite information logic (2005) (12)
A note on extensions of infinitary logic (2000) (11)
Tractability Frontier of Data Complexity in Team Semantics (2015) (11)
Boolean valued models and generalized quantifiers (1980) (11)
On second-order characterizability (2012) (10)
Game characterizations of function classes and Weihrauch degrees (2013) (10)
Recursive logic frames (2004) (10)
Sort logic and foundations of mathematics (2014) (9)
ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS (2016) (9)
Stationary sets and infinitary logic (1997) (9)
Abstract logic and set theory. II. Large cardinals (1982) (8)
The Size of a Formula as a Measure of Complexity (2012) (8)
Regular ultrafilters and finite square principles (2007) (8)
Vector spaces and binary quantifiers (1984) (8)
On the number of automorphisms of uncountable models (1993) (7)
A Hierarchy Theorem for Lindstrom Quantifiers (1989) (7)
Generalized Quantifiers and Computation (2000) (7)
Epistemic operators and uniform definability in dependence logic (2010) (7)
REMARKS ON FREE QUANTIFIER VARIABLES (1979) (6)
Grelling on Dependence (2016) (6)
Logics for Dependence and Independence (Dagstuhl Seminar 15261) (2015) (6)
Abstract versus concrete computability: the case of countable algebras (2016) (6)
Tracing Internal Categoricity (2020) (6)
More on the Ehrenfeucht-Fraisse game of length ω₁ (2002) (6)
On orderings of the family of all logics (1980) (6)
Logic Colloquium '90: Asl Summer Meeting in Helsinki (1993) (5)
Decidability of Some Logics with Free Quantifier Variables (1981) (5)
Boolean-Valued Second-Order Logic (2015) (5)
A family of trees with no uncountable branches (2004) (5)
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) (2013) (5)
Set-Theoretic Definability of Logics (2016) (5)
The Craig Interpolation Theorem in abstract model theory (2008) (5)
Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)
Definability and elementary equivalence in the Ershov difference hierarchy (2009) (4)
Model Theory as a Framework for Universal Logic (2005) (4)
D ec 2 00 2 More on the Ehrenfencht-Fräıssé game of length ω 1 (1993) (4)
On ordinals accessible by infinitary languages (2005) (4)
Δ-extension and Hanf-numbers (1983) (4)
POSITIONAL STRATEGIES IN LONG EHRENFEUCHT–FRAÏSSÉ GAMES (2013) (4)
Erich Grädel Jouko Väänänen Dependence and Independence (2012) (4)
Erich Grädel Jouko Väänänen Dependence and Independence (2012) (4)
Game-Theoretic Inductive Definability (1993) (4)
Erratum to: On Definability in Dependence Logic (2011) (4)
Diversity, dependence and independence (2019) (4)
Second‐Order Logic and Set Theory (2015) (3)
An Ehrenfeucht‐Fraïssé game for Lω1ω (2013) (3)
Modular SAT-based techniques for reasoning tasks in team semantics (2022) (3)
Embeddings into the Turing degrees (2009) (3)
Rank inequalities in the theory of differentially closed fields (2016) (3)
A Remark on Nondeterminacy in IF Logic (2006) (3)
A Quantifier for Isomorphisms (1980) (3)
Consistency and games— in search of new combinatorial principles (2016) (2)
Games played on partial isomorphisms (2004) (2)
Second Order Logic, Set Theory and Foundations of Mathematics (2012) (2)
How complicated can structures be (2008) (2)
Reflection of Long Game Formulas (1994) (2)
Dependence and Independence in Logic (2010) (2)
Regular Ultrapowers at Regular Cardinals (2013) (2)
Two axioms of set theory with applications to logic (2020) (2)
Categoricity and Consistency in Second-Order Logic (2015) (2)
Indestructibility and strong compactness (2016) (2)
On local modularity in homogeneous structures (2016) (1)
Chapter XVII: Set-Theoretic Definability of Logics (1985) (1)
Has the continuumhypothesis been settled (2016) (1)
Quantifiers and Congruence Closure (1999) (1)
Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation (1997) (1)
Entry on Jaakko Hintikka (2006) (1)
AN EXTENSION OF A THEOREM OF ZERMELO (2018) (1)
The Hanf number of _ (1980) (1)
Aesthetics and the Dream of Objectivity: Notes from Set Theory (2015) (1)
Lindström’s Theorem (2012) (1)
Some remarks on pseudocompact spaces (1973) (1)
Logic Colloquium '03: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic (2006) (1)
Applications of logic in algebra: Examples from clone theory (2009) (1)
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures (1999) (1)
TR-2003003: Finite Information Logic (2003) (1)
Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp (2013) (1)
Models and Games: Model Theory of Infinitary Logic (2011) (1)
Dependence Logic: Dependence logic (2007) (1)
Introduction to the special theme: Maths for Everyday Life (2008) (1)
Generalized Quantifiers in Models of Set Theory (1982) (1)
Models and Games: Models (2011) (1)
Lindstr¨om Theorems for Fragments of First-order Logic * (2009) (1)
Logic Colloquium 2006: Introduction (2009) (0)
Multi-player Logics Msc in Logic (2008) (0)
Preface (Special issue on Logic Colloquium 2006) (2008) (0)
Obituary (1972) (0)
23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Mexico August 16–19, 2016 (2017) (0)
Dependence Logic: References (2007) (0)
On Σ 02 Relations and Elementary Embeddability at Uncountable Cardinals (2015) (0)
Some applications of regularmarkers (2016) (0)
Dependence and Independence (2013) (0)
A comparison of independence friendly logic and dependence logic (2010) (0)
UvA-DARE ( Digital Academic Repository ) Second order logic or set theory ? (2012) (0)
CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC (2013) (0)
How I became a logician (2010) (0)
Annals of Pure and Applied Logic : Special Issue: Logic Colloquium 2015 (2018) (0)
An atom's worth of anonymity (2022) (0)
Positive logics (2020) (0)
Generalizing finitemodel theory (2016) (0)
Game theoretic semantics (2007) (0)
New frontiers of infinity: mathematical, philosophical, and computational prospects (2009) (0)
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) (2016) (0)
On complete filters (2016) (0)
Review: J. A. Makowsky, Saharon Shelah, Jonathan Stavi, $\Delta$-Logics and Generalized Quantifiers (1985) (0)
LO ] 15 D ec 2 01 6 Propositional Team Logics ✩ (2018) (0)
Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings (2016) (0)
Review: K. Jon Barwise, Absolute Logics and $L_{\infty_\omega}$ (1985) (0)
Parameterised Complexity of Team Based Logics (2021) (0)
Preface (1999) (0)
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory (2020) (0)
Dependence Logic: Preface (2007) (0)
Dependence Logic: Model theory (2007) (0)
First-Order Logic (2011) (0)
Trees and Pi11-Subsets of omega1\omega1 (1993) (0)
A ug 2 01 8 An extension of a theorem of Zermelo ∗ (0)
ON VARIANTS OF DEPENDENCE LOGIC (2015) (0)
Cocovering and set forcing (2016) (0)
Dependence Logic: Complexity (2007) (0)
Workshop on Logics of Dependence and Independence (LoDE 2020V) (2020) (0)
On Applications of Transfer Principles in Model Theory (2005) (0)
2020 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, California, USA March 25–28, 2020 (2020) (0)
Some strong logics within combinatorial set theory and the logic of chains (2019) (0)
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016 (2019) (0)
Models and Games: Infinitary Logic (2011) (0)
A logic for arguing about probabilities in measure teams (2017) (0)
Informational cascades: A test for rationality? (2016) (0)
Preface (2018) (0)
Set Theory, Arithmetic, and Foundations of Mathematics: Tennenbaum's proof of the irrationality of √2 (2011) (0)
Breaking the Atom with Samson (2013) (0)
Dependence Logic: Examples (2007) (0)
Topology Proceedings (2008) (0)
Models and Games: Stronger Infinitary Logics (2011) (0)
On CH + 2N1 → for (2016) (0)
Determinacy and measurable cardinals in HOD (0)
Contemporary Mathematics Reflection principles for the continuum (2002) (0)
Pursuing Logic without Borders (2015) (0)
Preliminaries and Notation (2011) (0)
On the Axiomatizability of the Notion of an Automorphism of a Finite Order (1980) (0)
Belief dynamics in a social context (2016) (0)
A taste of set theory for philosophers (2010) (0)
Diversity, dependence and independence (2021) (0)
Symbiosis and Compactness Properties (2021) (0)
Obituary: Jaakko Hintikka 1929-2015 (2015) (0)
On Second Order Logic (2015) (0)
Marriott Wardman Park Hotel, Washington, DC January 7–8, 2009 (2009) (0)
Chain logic and Shelah’s infinitary logic (2021) (0)
An Ehrenfeucht-Fraïssé Game for $L_{\omega_1\omega}$ (2012) (0)
The theory of is undecidable (2016) (0)
Under Consideration for Publication in Theory and Practice of Logic Programming Book Review (2012) (0)
Dependence Logic: Introduction (2007) (0)
Definability and reducibility in higher types over the reals (2016) (0)

This paper list is powered by the following services:

Other Resources About Jouko Väänänen

What Schools Are Affiliated With Jouko Väänänen?

Jouko Väänänen is affiliated with the following schools:

Jouko Väänänen's Academic­Influence.com Rankings

Jouko Väänänen's Degrees

Why Is Jouko Väänänen Influential?

Jouko Väänänen's Published Works

Published Works

Other Resources About Jouko Väänänen

What Schools Are Affiliated With Jouko Väänänen?

Jouko Väänänen's AcademicInfluence.com Rankings