| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
J.B. Nation: Everything you need to know to do research in lattice theory (but were afraid to ask)
3:30 pm
<a href="http://www.math.hawaii....
@ lattice theory (but were afraid to ask)
Mar 15 @ 3:30 pm – 4:30 pm
|
||||||
|
Steffen Lempp (Madison): Lattice embeddings into the computably enumerable Turing degrees
3:30 pm
<a href="http://www.math.wisc.ed...
Mar 29 @ 3:30 pm – 4:30 pm
Title: Lattice embeddings into the computably enumerable Turing degrees. Abstract: This talk will attempt to explain in lattice-theoretic terms the status quo of the problem of which finite lattices can be embedded into the computably[...]
|
Steffen Lempp (Madison): On the role of the Collection Principle for Sigma-0-2-formulas in second-order reverse mathematics
3:30 pm
Steffen Lempp (Madison): On the ...
Mar 30 @ 3:30 pm – 4:30 pm
Title: On the role of the Collection Principle for Sigma-0-2-formulas in second-order reverse mathematics. Abstract: This is joint work with Chitat Chong and Yue Yang. We show that the principle PART from Hirschfeldt and Shore[...]
|