Items where Author is "Väänänen, Jouko"

PP-2012-07: Väänänen, Jouko and Wang, Tong (2012) Internal Categoricity in Arithmetic and Set Theory. [Report]

PP-2011-07: Grädel, Erich and Väänänen, Jouko (2011) Dependence and Independence. [Report]

PP-2008-27: Abramsky, Samson and Väänänen, Jouko (2008) From IF to BI, A Tale of Dependence and Separation. [Report]

PP-2007-18: Kontinen, Juha and Väänänen, Jouko (2007) On Definability in Dependence Logic. [Report]

PP-2020-13: Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko (2020) Bounded Symbiosis and Upwards Reflection. [Pre-print] (Submitted)