| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
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.[...]
|
||||||
|
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.
|
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[...]
|
|||||
|
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[...]
|
||||||