pith. sign in

Jouko V\"a\"an\"anen

Identifiers

  • name variant Jouko V\"a\"an\"anen 0.60 · backfill

Papers (24)

  1. Second order logic and Set Theory Redux math.LO · 2026 · author #1
  2. A New Ehrenfeucht-Fra\"iss\'e Game for Dependence Logic math.LO · 2026 · author #2
  3. Aspects of Coherence in Dependence Logic cs.LO · 2026 · author #7
  4. Propositional Team Logics math.LO · 2016 · author #2
  5. A Logic for Arguing About Probabilities in Measure Teams math.LO · 2015 · author #3
  6. A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals math.LO · 2015 · author #2
  7. Propositional Logics of Dependence math.LO · 2014 · author #2
  8. Quantum Team Logic and Bell's Inequalities math.LO · 2014 · author #3
  9. The Logic of Approximate Dependence math.LO · 2014 · author #1
  10. Dependence Logic in Pregeometries and $\omega$-Stable Theories math.LO · 2013 · author #2
  11. Positional strategies in long Ehrenfeucht-Fraiss\'e games math.LO · 2013 · author #2
  12. On Dependence Logic math.LO · 2013 · author #2
  13. Dependence Logic with Generalized Quantifiers: Axiomatizations math.LO · 2013 · author #3
  14. An Ehrenfeucht-Fra\"{i}ss\'{e} Game for $L_{\omega_1\omega}$ math.LO · 2012 · author #1
  15. Dependence and Independence cs.LO · 2012 · author #2
  16. On Second-order Characterizability math.LO · 2012 · author #3
  17. The size of a formula as a measure of complexity math.LO · 2012 · author #2
  18. Axiomatizing first order consequences in dependence logic math.LO · 2012 · author #2
  19. Recursive logic frames math.LO · 2004 · author #2
  20. More on the Ehrenfencht-Fraisse game of length omega_1 math.LO · 2002 · author #3
  21. A Note on Extensions of Infinitary Logic math.LO · 2000 · author #2
  22. Stationary sets and infinitary logic math.LO · 1997 · author #2
  23. The Ehrenfeucht-Fraisse-game of length omega_1 math.LO · 1993 · author #3
  24. On the number of automorphism of uncontable models math.LO · 1993 · author #3

Mentions

  • 2606.22584 #1 · arxiv_oai · confidence 0.70 Jouko V\"a\"an\"anen
  • 1509.01812 #3 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1508.05539 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1412.7998 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 2606.00812 #2 · arxiv_oai · confidence 0.70 Jouko V\"a\"an\"anen
  • 1409.5537 #3 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 2605.31269 #7 · arxiv_oai · confidence 0.70 Jouko V\"a\"an\"anen
  • 1408.4437 #1 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1310.7719 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1308.0156 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1305.5948 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1304.0611 #3 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1212.0108 #1 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1208.5268 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1208.5167 #3 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1208.4803 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen
  • 1208.0176 #2 · backfill · confidence 0.70 Jouko V\"a\"an\"anen

Frequent Coauthors