Zobrazeno 1 - 10
of 151
pro vyhledávání: '"Jouko Väänänen"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 193, Iss Proc. GandALF 2015, Pp 73-85 (2015)
We study the data complexity of model-checking for logics with team semantics. For dependence and independence logic, we completely characterize the tractability/intractability frontier of data complexity of both quantifier-free and quantified formul
Externí odkaz:
https://doaj.org/article/ba033f5d90404de5bb697432fce2b8c9
Autor:
Juha Oikkonen, Jouko Väänänen
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This
Autor:
Jouko Väänänen
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model existence game. The third game has not been isolated in the literatu
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special sessi
Autor:
Jouko Väänänen
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving
Autor:
Saharon Shelah, Jouko Väänänen
Lindström’s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious extension of fir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::25eb3a9f4fb4120d1b8804fd4c5f04a3
http://hdl.handle.net/10138/353197
http://hdl.handle.net/10138/353197
Autor:
Jouko Väänänen
Publikováno v:
Logic Journal of the IGPL.
Autor:
Jouko Väänänen
Publikováno v:
Theoria. 87:349-360
I will give a brief overview of Saharon Shelah's work in mathematical logic. I will focus on three transformative contributions Shelah has made: stability theory, proper forcing and PCF theory. The first is in model theory and the other two are in se
Autor:
Jouko Väänänen
Publikováno v:
Annales Academiae Scientiarum Fennicae Mathematica Dissertationes. :1-19
Autor:
Jouko Väänänen, Mirna Dzamonja
For a cardinal of the form κ = בκ, Shelah’s logic L 1 has a characterisation as the maximal logic above $${ \cup _{\lambda < \kappa }}{L_{\lambda ,\omega }}$$ satisfying a strengthening of the undefinability of well-order. Karp’s chain logic [
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f74ba4b660c84b5a61b26d534d65642e
http://hdl.handle.net/10138/349627
http://hdl.handle.net/10138/349627