Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 69
Number of items: 69
  • Kontinen, J., Link, S., & Väänänen, J. (2013). Independence in database relations. In L. Libkin, U. Kohlenbach, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings (pp. 179-193). (Lecture Notes in Computer Science; Vol. 8071), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-39992-3_17
  • Väänänen, J., & Wang, T. (2013). An Ehrenfeucht-Fraïssé game for Lω1ω. Mathematical Logic Quarterly, 59(4-5), 357-370. https://doi.org/10.1002/malq.201200104
  • Väänänen, J. (2013). Breaking the atom with Samson. In B. Coecke, L. Ong, & P. Panangaden (Eds.), Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky: essays dedicated to Samson Abramsky on the occasion of his 60th birthday (pp. 327-335). (Lecture Notes in Computer Science; Vol. 7860). Springer. https://doi.org/10.1007/978-3-642-38164-5_22
  • Grädel, E., & Väänänen, J. (2013). Dependence and independence. Studia Logica, 101(2), 399–410. https://doi.org/10.1007/s11225-013-9479-2
  • Kontinen, J., & Väänänen, J. (2013). Axiomatizing first-order consequences in dependence logic. Annals of Pure and Applied Logic, 164(11), 1101-1117. https://doi.org/10.1016/j.apal.2013.05.006
  • Hyttinen, T., Kangas, K., & Väänänen, J. (2013). On second-order characterizability. Logic Journal of the IGPL, 21(5), 767-787. https://doi.org/10.1093/jigpal/jzs047
  • Väänänen, J. (2012). Second order logic, set theory and foundations of mathematics. In P. Dybjer, S. Lindström, E. Palmgren, & G. Sundholm (Eds.), Epistemology versus Ontology: Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-Löf (pp. 371-380). (Logic, Epistemology, and the Unity of Science; Vol. 27). Springer. https://doi.org/10.1007/978-94-007-4435-6_17
  • Open Access
    Väänänen, J. (2012). Second order logic or set theory? Bulletin of Symbolic Logic, 18(1), 91-121. https://doi.org/10.2178/bsl/1327328440
  • Open Access
    Khomskii, Y. D. (2012). Regularity properties and definability in the real number continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Galliani, P. (2012). The dynamics of imperfect information. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Page 4 of 7