Feb
14
Fri
Feb 14 @ 2:30 pm – 3:30 pm
The logic seminar today will be given by David Webb. A title and abstract are below.
Title: On The Levin-V’yugin Degrees
Abstract: I will define and discuss the Levin-V’yugin degrees, a measure algebra defined on collections of reals closed under Turing equivalence. Roughly speaking, in this ordering collections A and B have that A<B if for any probabilistic algorithm, the probability that it produces an element of A that is not in B is 0. Time permitting, I will prove that the computable reals and the random reals each form an atom in this Boolean algebra, and discuss other degrees and their positions in the lattice.
The paper this talk is based on is here: https://arxiv.org/pdf/1907.07815.pdf
Feb
21
Fri
Feb 21 @ 2:30 pm – 3:30 pm
Feb
28
Fri
Feb 28 @ 2:30 pm – 3:30 pm
Jan
11
Mon
Jan 11 @ 11:30 am – 12:30 pm
Jan
13
Wed
Jan 13 @ 11:30 am – 12:30 pm
Jan
15
Fri
Jan 15 @ 11:30 am – 12:30 pm
Jan
20
Wed
Jan 20 @ 11:30 am – 12:30 pm
Jan
22
Fri
Jan 22 @ 11:30 am – 12:30 pm
Jan
25
Mon
Jan 25 all-day
Jan 25 @ 11:30 am – 12:30 pm
Jan
27
Wed
Jan 27 @ 11:30 am – 12:30 pm
Jan
29
Fri
Jan 29 @ 11:30 am – 12:30 pm
Feb
1
Mon
Feb 1 @ 11:30 am – 12:30 pm
Feb
3
Wed
Feb 3 @ 11:30 am – 12:30 pm
Feb
5
Fri
Feb 5 @ 11:30 am – 12:30 pm
Feb
8
Mon
Feb 8 @ 11:30 am – 12:30 pm
Feb
10
Wed
Feb 10 @ 11:30 am – 12:30 pm
Feb
12
Fri
Feb 12 @ 11:30 am – 12:30 pm
Feb
15
Mon
Feb 15 all-day
Feb
17
Wed
Feb 17 @ 11:30 am – 12:30 pm
Feb
19
Fri
Feb 19 @ 11:30 am – 12:30 pm
Feb
22
Mon
Feb 22 all-day
Feb 22 @ 11:30 am – 12:30 pm
Feb
24
Wed
Feb 24 @ 11:30 am – 12:30 pm
Feb
26
Fri
Feb 26 @ 11:30 am – 12:00 pm
Mar
1
Mon
Mar 1 all-day
Mar 1 @ 11:30 am – 12:30 pm
Mar
3
Wed
Mar 3 all-day
Mar 3 @ 11:30 am – 12:30 pm
Mar
5
Fri
Mar 5 @ 11:30 am – 12:30 pm