Wiki source code of Seminar talks spring 2015

Last modified by utkarhum@helsinki_fi on 2024/01/16 08:03
Show last authors
1 === Talks during the spring term 2015 ===
2
3 Wed 14.1.2015 12-14, C124
4 Jouko Väänänen: On Continuum Hypothesis in the inner model C*
5
6 Wed 21.1.2015 12-14, C124
7 Miguel Moreno: On the reducibility of the isomorphism relation I
8
9 Wed 28.1.2015 12-14, C124
10 Miguel Moreno: On the reducibility of the isomorphism relation II
11
12 Wed 4.2.2015 12-14, C124
13 Andrés Villaveces (Bogotá): Model theory and modular invariants
14
15 (% style="margin-left: 30.0px;" %)
16 Abstract: the model theory of the classical j invariant has been studied by A. Harris: he has isolated geometrical conditions that make a categoricity analysis in the style of Zilber possible. At the same time, I have worked in quantum variants of the j invariant together with T. Gendron: we have isolated various sheaf constructions that allow calculations of versions of the j invariant for reals. This uses non-standard analysis, combined with a little logic of sheaves. I plan to provide a panorama of these works (Harris, and my joint work with Gendron) on j invariants.
17
18 Wed 11.2.2015 12-14, C124
19 Menachem Magidor: Omitting types in continous logic is hard (joint work with Ilijas Farah)
20
21 Wed 18.2.2015 12-14, C124
22 Carlos di Prisco: Semiselective coideals and forcing
23
24 Wed 25.2.2015 12-14, C124
25 Cancelled.
26
27 Wed 4.3..2015 12-14, C124
28 Spring break (exam week)
29
30 Wed 11.3.2015 12-14, C124
31 Juha Kontinen: A van Benthem theorem for modal team semantics
32
33 Wed 18.3.2015 12-14, C124
34 Cancelled.
35
36 Wed 25.3.2015 12-14, C124
37 Jouko Väänänen: Inner models from extended logics
38
39 Wed 1.4.2015 12-14, C124
40 Vadim Kulikov: Fractal knots and turbulent equivalence relations
41
42 Wed 8.4.2015 12-14, C124
43 Easter holiday
44
45 Wed 15.4.2015 12-14, C124
46 Jouko Väänänen: On the Logic of Approximate Dependence
47
48 Wed 22.4.2015 12-14, C124
49 Gianluca Paolini: A Non-Elementary Plane
50
51 Wed 29.4.2015 12-14, C124
52 Andy Arana (Urbana): Purity and content
53
54 (% style="margin-left: 30.0px;" %)
55 Abstract: Roughly, a solution to a problem, or a proof of a theorem, is pure if it draws only on what is 'close' or 'intrinsic' to that problem or theorem. On one precisification of purity that we have called 'topical purity', closeness of theorem and proof is to be measured in terms of content. In brief, a proof is topically pure if it draws only on what belongs to the content of the theorem it is proving, i.e. on what must be grasped in order to understand that theorem. But how is this 'belonging' determined? In this talk I consider this question in light of examples from number theory (prime number theorem), logic (Gödel's incompleteness theorems), and geometry (Desargues' theorem). Each case considers theorems whose content may be understood in multiple ways: the prime number theorem as a result of elementary arithmetic or of analysis; the incompleteness theorems as a result of arithmetic or set theory; and Desargues' theorem as a result of plane projective or spatial projective geometry. Negotiating these different ways of identifying a theorem's content is crucial for making sense of purity, yet there is at present no systematic way to do so. I will discuss this as a problem for investigation going forward.
56
57
58
59 [[back to seminar page>>doc:Logic.Home.Seminar.WebHome]]