Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
Logic Seminar: David Ross 1:30 pm
Logic Seminar: David Ross @ Keller Hall 303
Oct 6 @ 1:30 pm – Oct 6 @ 2:30 pm
TITLE: Asymptotic Fixed Points, Part I. ABSTRACT: By a standard exercise, a uniform contraction on a complete metric space has a fixed point. Easy examples show that this fails if the contraction is not uniform.[...]
7
8
9
10
11
12
13
14
15
16
17
18
André Nies: A gentle introduction to randomness and $K$-triviality 1:30 pm
André Nies: A gentle introductio...
Oct 18 @ 1:30 pm – Oct 18 @ 2:20 pm
Keller 303 Introduction for grad students and other beginners, as a prequel to Thursday’s talk.
19
20
Logic Seminar: André Nies 1:30 pm
Logic Seminar: André Nies
Oct 20 @ 1:30 pm – Oct 20 @ 2:30 pm
Speaker: André Nies (University of Auckland), Fellow of the Royal Society of New Zealand Title: Structure within the class of $K$-trivial sets Abstract: The $K$-trivial sets are antirandom in the sense that the initial segment[...]
21
22
23
24
25
26
27
Logic Seminar: David Ross part II 1:30 pm
Logic Seminar: David Ross part II
Oct 27 @ 1:30 pm – Oct 27 @ 2:30 pm
TITLE: Asymptotic Fixed Points, Part II ABSTRACT: Continuing the earlier seminar, I will give nonstandard proofs for one or more (depending on time) results like the one below (which consolidates and generalizes a number of[...]
28
29
30
31