Calendar

23 Sun 24 Mon 25 Tue 26 Wed 27 Thu 28 Fri 29 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
1:30 pm Logic Seminar: David Ross part II
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[...]