5 January | 6 January | 7 January | 8 January | ||
---|---|---|---|---|---|

9:00-10:00 | Hirschfeldt | Chen | Jockusch | 9:00-9:40 | Slaman |

10:00-10:40 | Ng | Patey | Wu | 9:40-10:20 | McInerney |

Coffee break | Coffee break | ||||

11:00-11:40 | Allender | Lempp | Nies | 10:40-11:20 | Shore |

11:40-12:20 | Cholak | Yu | Chong | ||

Lunch break | |||||

14:00-14:40 | Ambos-Spies | Miller | Harizanov | ||

14:40-15:20 | Franklin | Morozov | Turetsky | ||

Coffee break | |||||

15:40-16:20 | Melnikov | Schupp | Montalban | ||

16:20-17:00 | Gaspers |

The Complexity of Complexity (Slides)

Array Noncomputable Left-c.e. Reals

to any complex left-c.e. reals are just the not totally ω-c.e. c.e. degrees. Moreover we show how our new notions can be used to give simplified proofs of some results in the literature, e.g., some of the results in Barmpalias, Downey and Greenberg (2010).

Domination Without Independence, a Tale of Parameterized Inapproximability (Slides)

(Some) Lowness Notions in the c.e. Sets (Slides)

1-Generic Degrees Bounding Minimal Degrees (Slides)

Lowness in Computable Structure Theory

The Parameterized Complexity of Positional Games

Orders on Computable Structures (Slides)

Some Questions in Computable Mathematics (Slides)

Imperfect Computability and Asymptotic Density (Slides)

Nondensity of Double Bubbles in the d.c.e. Degrees (Slides)

In this talk, I will show that the so-called ``double bubbles'' are not downward dense in the d.c.e. degrees. Here, a pair of d.c.e. degrees e > d > 0 forms a “double bubble” if all d.c.e. degrees below e are comparable with d.

Multiple Genericity (Slides)

Torsion-Free Abelian Groups with Optimal Scott Families (Slides)

Many-one Degrees with Names Like John or Paul

The part on many-one degrees is joint with Kihara and Slaman.

Generic Muchnik reducibility (Slides)

On Σ-Presentability of Some Structures of Analysis over Hereditarily Finite Superstructures (Slides)

Automorphisms of Computable Linear Orders (Slides)

My Work with Rod 1995-2001 (Slides)

The Reverse Mathematics of Non-decreasing Subsequences (Slides)

Geometric Group Theory, Genericity and Computability (Slides)

Conservativity of Ultrafilters over Subsystems of Second Order Arithmetic (Slides)

Irrationality Exponents and Effective Hausdorff Dimension (Slides)

TBA

There are no Maximal d.c.e. wtt-degrees (Slides)

On the Reals Never Continuous Random (Slides)

Back to CCS 2017 Main Page

I | Attachment | Action | Size | Date | Who | Comment |
---|---|---|---|---|---|---|

Allender.pdf | manage | 2 MB | 18 Jan 2017 - 14:39 | Main.kuyperru | ||

Chen.pdf | manage | 754 K | 18 Jan 2017 - 14:29 | Main.kuyperru | ||

Cholak.pdf | manage | 6 MB | 18 Jan 2017 - 14:31 | Main.kuyperru | ||

Chong.pdf | manage | 194 K | 18 Jan 2017 - 14:31 | Main.kuyperru | ||

Harizanov.pdf | manage | 73 K | 25 Jan 2017 - 11:44 | Main.kuyperru | ||

Hirschfeldt.pdf | manage | 983 K | 18 Jan 2017 - 14:31 | Main.kuyperru | ||

Jockusch.pdf | manage | 211 K | 25 Jan 2017 - 11:44 | Main.kuyperru | ||

McInerney.pdf | manage | 208 K | 18 Jan 2017 - 14:31 | Main.kuyperru | ||

Melnikov.pdf | manage | 130 K | 25 Jan 2017 - 11:45 | Main.kuyperru | ||

Miller.pdf | manage | 301 K | 18 Jan 2017 - 14:32 | Main.kuyperru | ||

Morozov.pdf | manage | 244 K | 18 Jan 2017 - 14:32 | Main.kuyperru | ||

Ng.pdf | manage | 352 K | 18 Jan 2017 - 14:33 | Main.kuyperru | ||

Nies.pdf | manage | 118 K | 18 Jan 2017 - 14:33 | Main.kuyperru | ||

Patey.pdf | manage | 208 K | 18 Jan 2017 - 14:33 | Main.kuyperru | ||

Schupp.pdf | manage | 251 K | 25 Jan 2017 - 11:45 | Main.kuyperru | ||

Shore.pdf | manage | 110 K | 18 Jan 2017 - 14:33 | Main.kuyperru | ||

Slaman.pdf | manage | 165 K | 18 Jan 2017 - 14:33 | Main.kuyperru | ||

Wu.pdf | manage | 241 K | 18 Jan 2017 - 14:33 | Main.kuyperru | ||

Yu.pdf | manage | 608 K | 18 Jan 2017 - 14:33 | Main.kuyperru |