Wiki source code of Seminar talks spring 2013

Last modified by asaekman@helsinki_fi on 2024/01/16 08:03
Hide last authors
asaekman@helsinki_fi 1.1 1 === Talks during the spring term 2013 ===
2
3 Wed 16.1.2013 12-14, C124
4 Miika Hannulan and Juha Kontinen: Remarks on natural deduction in dependence logic
5
6 Wed 23.1.2013 12-14, C124
7 Camilo Argoty (Bogota): Elementary Classes and Metric Abstract Elementary Classes asociated to Hilbert spaces operator algebras acting over them.
8
9 (% style="margin-left: 30.0px;" %)
10 Abstract: We study different formalisims for Hilbert spaces and operator algebras acting over them, including continuous first order and metric abstract elementary class. We present different examples and show where each one of these is more suitable.
11
12 (% style="margin-left: 30.0px;" %)
asaekman@helsinki_fi 1.2 13 [[Slides>>attach:Logic.Seminar.WebHome@CharlaHelsinki20130121.pdf]] of talk.
asaekman@helsinki_fi 1.1 14
15 Wed 30.1.2013 12-14, C124
16 Daisuke Ikegami: (% class="GramE" %)Stationary Tower Forcing (first part of [[tutorial>>url:http://www.math.helsinki.fi/logic/opetus/TUTORIALS2013.htm||shape="rect"]])
17
18
19 Wed 6.2.2013 12-14, C124
asaekman@helsinki_fi 1.2 20 John Baldwin: Constructing Atomic Models in the Continuum (first part of [[tutorial>>url:http://www.math.helsinki.fi/logic/opetus/TUTORIALS2013.htm||shape="rect"]] [[lecture 1>>attach:Logic.Seminar.WebHome@baldwin1.pdf]] [[lecture 2>>attach:Logic.Seminar.WebHome@baldwin2.pdf]] [[lecture 3>>attach:Logic.Seminar.WebHome@baldwin4.pdf]])\\
asaekman@helsinki_fi 1.1 21
22 Wed 13.2.2013 13.00-14, C124
23 Kaisa Kangas: On a cover of the multiplicative group of complex numbers
24
25 Wed 20.2.2013 12-14, C124
26 No seminar.
27
28 Wed 27.2.2013 12-14, C124
29 No seminar
30
31 Wed 6.3.2013 12-14, C124, rescheduled to Fri 8.3. 13-15
32 Fredrik Engström: Models of arithmetic, standardness and expansions
33
34 (% style="margin-left: 30.0px;" %)
35 Abstract: A structure is resplendent if every existential second-order sentence consistent with the theory of the structure holds in the structure. Similar notions have been investigated in the contexts of models of Peano Arithmetic and been shown to be equivalent. We introduce a notion, transplendency, which is strictly stronger than resplendency and in some sense the equivalent of resplendency on models of PA with a standardness predicate. Several connections with systems of second-order arithmetic and PA with a standardness predicate will be stated. We will also present some problems that remain to be solved. This is joint work with Richard W. Kaye.
36
37 Wed 13.3.2013 12-14, C124
38 Ove Ahlman and Vera Koponen (Uppsala): Automorphism groups and limit laws of random nonrigid structures
39
40 (% style="margin-left: 30.0px;" %)
41 Abstract: Let V be a finite relational vocabulary with at least one relation symbol with arity greater than one. Let S_n be the set of V-structures with universe {1,...,n}. It is well known that the proportion of structures in S_n with trivial automorphism group approaches 1 as n tends to infinity. It is also well known that S_n satisfies a zero-one law; so the same holds for the set of all structures in S_n with trivial automorphism group. But what can be said about structures in S_n with nontrivial automorphism group? Besides an article by P. Cameron from 1980 there seems to be no previous work in this direction. We will present some results about random structures with nontrivial automorphism group, such as limit laws and results about the typical automorphism group. In general one can say that simple symmetries are overwhelmingly more usual than more complicated symmetries.
42
43 Wed 20.3.2013 12-14, C124
44 Iegor Reznikoff (Paris): The Memory Paradox
45
46 Wed 27.3.2013 12-14, C124
47 **Cancelled**
48
49 Wed 3.4.2013 12-14, C124
50 Eastern holiday, no seminar
51
52 Wed 10.4.2013 12-14, C124
53 Jouko Väänänen: Second order categoricity without second order definable well-order
54
55 Wed 17.4.2013 12-14, C124
56 Pietro Galliani: Inclusion logic and fixpoints
57
58 Wed 24.4.2013 12-14, C124
59 Jouko Väänänen: Second order categoricity without second order definable well-order (continued)
60
61 Wed 1.5.2013 12-14, C124
62 Vappu, no seminar
63
64 Wed 8.5.2013 12-14, C124
65 Mikko Männikkö: Non-Fregean approach to independence friendly logic
66
67 Wed 15.5.2013 12-14, C123 - note: different room
68 Juliet Floyd (Boston university): Universalism (second part of [[tutorial>>url:http://www.math.helsinki.fi/logic/opetus/TUTORIALS.2.2013.htm||shape="rect"]], the first being on Tuesday 14.5. at 12-14 in B120)