Jouko A. Väänänen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 48 from 48

2015

Positional Strategies in Long Ehrenfeucht-FraïSSé GamesSaharon Shelah, Jouko A. Väänänen, Boban Velickovic. JSYML, 80(1):285-300, 2015. [doi]

Internal Categoricity in Arithmetic and Set TheoryJouko A. Väänänen, Tong Wang. ndjfl, 56(1):121-134, 2015. [doi]

2013

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer. dagstuhl-reports, 3(2):45-54, 2013. [doi]

Dependence Logic with Generalized Quantifiers: AxiomatizationsFredrik Engström, Juha Kontinen, Jouko A. Väänänen. wollic 2013: 138-152 [doi]

Dependence and IndependenceErich Grädel, Jouko A. Väänänen. sLogica, 101(2):399-410, 2013. [doi]

On second-order characterizabilityTapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen. igpl, 21(5):767-787, 2013. [doi]

Independence in Database RelationsJuha Kontinen, Sebastian Link, Jouko A. Väänänen. wollic 2013: 179-193 [doi]

Axiomatizing first-order consequences in dependence logicJuha Kontinen, Jouko A. Väänänen. APAL, 164(11):1101-1117, 2013. [doi]

Editorial IntroductionJuha Kontinen, Jouko A. Väänänen, Dag Westerståhl. sLogica, 101(2):233-236, 2013. [doi]

Breaking the Atom with SamsonJouko A. Väänänen. BIRTHDAY 2013: 327-335 [doi]

2012

Second order logic or set theory?Jouko A. Väänänen. bsl, 18(1):91-121, 2012. [doi]

Second Order Logic, Set Theory and Foundations of MathematicsJouko A. Väänänen. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 371-380, Springer, 2012. [doi]

2011

Erratum to: On Definability in Dependence LogicJuha Kontinen, Jouko A. Väänänen. jolli, 20(1):133-134, 2011. [doi]

A Remark on Negation in Dependence LogicJuha Kontinen, Jouko A. Väänänen. ndjfl, 52(1):55-65, 2011. [doi]

Models and GamesJouko A. Väänänen. Volume 132 of Cambridge studies in advanced mathematics, Cambridge University Press, 2011. [doi]

2010

Dependence of variables construed as an atomic formulaJouko A. Väänänen, Wilfrid Hodges. APAL, 161(6):817-828, 2010. [doi]

2008

PrefaceS. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen. APAL, 156(1):1-2, 2008. [doi]

Regular ultrafilters and finite square principlesJuliette Kennedy, Saharon Shelah, Jouko A. Väänänen. JSYML, 73(3):817-823, 2008. [doi]

2007

Lindstrom theorems for fragments of first-order logicBalder ten Cate, Johan van Benthem, Jouko A. Väänänen. lics 2007: 280-292 [doi]

Dependence Logic - A New Approach to Independence Friendly LogicJouko A. Väänänen. Volume 70 of London Mathematical Society student texts, Cambridge University Press, 2007. [doi]

2006

Recursive logic framesSaharon Shelah, Jouko A. Väänänen. mlq, 52(2):151-164, 2006. [doi]

2005

Finite information logicRohit Parikh, Jouko A. Väänänen. APAL, 134(1):83-93, 2005. [doi]

A note on extensions of infinitary logicSaharon Shelah, Jouko A. Väänänen. AML, 44(1):63-69, 2005. [doi]

2004

Games played on partial isomorphismsJouko A. Väänänen, Boban Velickovic. AML, 43(1):19-30, 2004. [doi]

Barwise: Abstract model theory and generalized quantifiersJouko A. Väänänen. bsl, 10(1):37-53, 2004. [doi]

2002

On the semantics of informational independenceJouko A. Väänänen. igpl, 10(3):339-352, 2002. [doi]

On the Expressive Power of Monotone Natural Language Quantifiers over Finite ModelsJouko A. Väänänen, Dag Westerståhl. jphil, 31(4):327-358, 2002. [doi]

2001

Second-order logic and foundations of mathematicsJouko A. Väänänen. bsl, 7(4):504-520, 2001. [doi]

2000

Stationary Sets and Infinitary LogicSaharon Shelah, Jouko A. Väänänen. JSYML, 65(3):1311-1320, 2000.

1999

Quantifiers and Congruence ClosureJörg Flum, Matthias Schiehlen, Jouko A. Väänänen. sLogica, 62(3):315-340, 1999.

Trees and Ehrenfeucht-Fraïssé GamesStevo Todorcevic, Jouko A. Väänänen. APAL, 100(1-3):69-97, 1999.

1997

Definability of Polyadic Lifts of Generalized QuantifiersLauri Hella, Jouko A. Väänänen, Dag Westerståhl. jolli, 6(3):305-335, 1997.

Generalized Quantifiers, an IntroductionJouko A. Väänänen. esslli 2000: 1-17 [doi]

Generalized QuantifiersJouko A. Väänänen. eatcs, 62, 1997.

Unary Quantifiers on Finite ModelsJouko A. Väänänen. jolli, 6(3):275-304, 1997.

1996

The Hierarchy Theorem for Generalized QuantifiersLauri Hella, Kerkko Luosto, Jouko A. Väänänen. JSYML, 61(3):802-817, 1996.

1995

Generalized Quantifiers and Pebble Games on Finite StructuresPhokion G. Kolaitis, Jouko A. Väänänen. APAL, 74(1):23-75, 1995.

1994

Reflection of Long Game FormulasJouko A. Väänänen, Heikki Heikkilä. mlq, 40:381-392, 1994.

1993

Trees and Pi:::1:::::1::-Subsets of :::omega::1:::::/omega::1::Alan H. Mekler, Jouko A. Väänänen. JSYML, 58(3):1052-1070, 1993.

Game-Theoretic Inductive DefinabilityJuha Oikkonen, Jouko A. Väänänen. APAL, 65(3):265-306, 1993.

On the Number of Automorphisms of Uncountable ModelsSaharon Shelah, Heikki Tuuri, Jouko A. Väänänen. JSYML, 58(4):1402-1418, 1993.

1992

Generalized Quantifiers and Pebble Games on Finite StructuresPhokion G. Kolaitis, Jouko A. Väänänen. lics 1992: 348-359

1991

The Härtig Quantifier: A SurveyHeinrich Herre, Michal Krynicki, Alexander Pinus, Jouko A. Väänänen. JSYML, 56(4):1153-1183, 1991.

1990

On Scott and Karp Trees of Uncountable ModelsTapani Hyttinen, Jouko A. Väänänen. JSYML, 55(3):897-908, 1990.

1989

Henkin and Function QuantifiersMichal Krynicki, Jouko A. Väänänen. APAL, 43(3):273-292, 1989.

1982

Abstract Logic and Set Theory. II. Large CardinalsJouko A. Väänänen. JSYML, 47(2):335-346, 1982.

1981

Decidability of Some Logics with Free Quantifier VariablesD. A. Anapolitanos, Jouko A. Väänänen. mlq, 27(2-6):17-22, 1981. [doi]

1980

On the Axiomatizability of the Notion of an Automorphism of a Finite OrderD. A. Anapolitanos, Jouko A. Väänänen. mlq, 26(28-30):433-437, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL