Wiki source code of Seminar talks fall 2012
Last modified by utkarhum@helsinki_fi on 2024/01/16 08:03
Show last authors
author | version | line-number | content |
---|---|---|---|
1 | === Talks during the fall term 2012 === | ||
2 | |||
3 | Wed 5.9.2012 12-14, C124 | ||
4 | Jouko Väänänen: Multiverse | ||
5 | |||
6 | Wed 12.9.2012 12-14, C124 | ||
7 | Pietro Galliani: The Decompositions of Independence Logic | ||
8 | |||
9 | Wed 19.9.2012 12-14, C124 | ||
10 | Meeri Kesälä: Quasiminimal classes and excellence | ||
11 | |||
12 | Wed 26.9.2012 12-14, C124 | ||
13 | Meeri Kesälä: Quasiminimal classes and excellence (cont.) | ||
14 | |||
15 | Wed 3.10.2012 12-14, C124 | ||
16 | Kaisa Kangas: Finding a field in a Zariski geometry | ||
17 | |||
18 | Wed 10.10.2012 12-14, C124 | ||
19 | Kaisa Kangas: Finding a field in a Zariski geometry (cont.) | ||
20 | |||
21 | Wed 17.10.2012 12-14, C124 | ||
22 | Kaisa Kangas: Finding a field in a Zariski geometry (cont.) | ||
23 | |||
24 | Wed 24.10.2012 12-14, C124 | ||
25 | Tong Wang: A new Ehrenfeucht-Fraisse game | ||
26 | |||
27 | Wed 31.10.2012 12-14, C124 | ||
28 | Taneli Huuskonen: Grzegorczyk's Logic of Descriptions | ||
29 | |||
30 | Wed 7.11.2012 12-14, C124 | ||
31 | Taneli Huuskonen: Grzegorczyk's Logic of Descriptions (cont.) | ||
32 | |||
33 | Wed 14.11.2012 12-14, C124 | ||
34 | Pietro Galliani: General models and entailment semantics for independence logic | ||
35 | |||
36 | Wed 21.11.2012 12-14, C124 | ||
37 | Fan Yang: Axiomatizing propositional dependence logic, propositional independence logic and their variants | ||
38 | |||
39 | Wed 28.11.2012 12-14, C124 | ||
40 | Åsa Hirvonen: Metric independence and p-adics | ||
41 | |||
42 | Wed 5.12.2012 12-14, C124 | ||
43 | Åsa Hirvonen: Metric independence and p-adics (cont.) | ||
44 | |||
45 | Wed 12.12.2012 12-14, C124 | ||
46 | Åsa Hirvonen: Metric independence and p-adics (cont.) | ||
47 | |||
48 | |||
49 | |||
50 | ==== [[back to seminar page>>doc:Logic.Home.Seminar.WebHome]] ==== |