Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 69
Number of items: 69
  • Ikegami, D., & Väänänen, J. (2015). Boolean-valued second-order logic. Notre Dame Journal of Formal Logic, 56(1), 167-190. https://doi.org/10.1215/00294527-2835065
  • Väänänen, J., & Wang, T. (2015). Internal Categoricity in Arithmetic and Set Theory. Notre Dame Journal of Formal Logic, 56(1), 121-134. https://doi.org/10.1215/00294527-2835038
  • Open Access
    Kennedy, J., Shelah, S., & Väänänen, J. (2015). Regular Ultrapowers at Regular Cardinals. Notre Dame Journal of Formal Logic, 56(3), 417-428. https://doi.org/10.1215/00294527-3132788
  • Open Access
    Hella, L., & Väänänen, J. (2015). The Size of a Formula as a Measure of Complexity. In Å. Hirvonen, J. Kontinen, R. Kossak, & A. Villaveces (Eds.), Logic without borders: essays on set theory, model theory, philosophical logic, and philosophy of mathematics (pp. 193-214). (Ontos Mathematical Logic; No. 5). De Gruyter. http://www.degruyter.com/viewbooktoc/product/429076
  • Open Access
    Shelah, S., Väänänen, J., & Veličković, B. (2015). Positional strategies in long Ehrenfeucht-Fraïssé games. Journal of Symbolic Logic, 80(1), 285-300. https://doi.org/10.1017/jsl.2014.43
  • Open Access
    Hyttinen, T., Paolini, G., & Väänänen, J. (2015). Quantum team logic and Bell's inequalities. Review of Symbolic Logic, 8(4), 722-742. https://doi.org/10.1017/S1755020315000192
  • Väänänen, J. (2014). Sort logic and foundations of mathematics. In C. Chong, Q. Feng, T. A. Slaman, & W. H. Woodin (Eds.), Infinity and truth (pp. 171-186). (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore; Vol. 25). World Scientific. https://doi.org/10.1142/9789814571043_0005
  • Open Access
    Galliani, P., & Väänänen, J. (2014). On dependence logic. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 101-119). (Outstanding contributions to logic; Vol. 5). Springer. https://doi.org/10.1007/978-3-319-06025-5_4
  • Open Access
    Väänänen, J. (2014). Multiverse set theory and absolutely undecidable propositions. In J. Kennedy (Ed.), Interpreting Gödel: critical essays (pp. 180-208). Cambridge University Press. https://doi.org/10.1017/CBO9780511756306.013
  • 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
Page 3 of 7