
Computational Prospects of Infinity

Monday, 18 Jul 2005 

09:30am  10:30am 
Tutorial: Algorithmic randomness (Lecture 1) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 

12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Process on the c.e. sets: Improving and
proving the SlamanWoodin conjecture 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
A 1generic degree with a strong
minimal cover 
Tuesday, 19 Jul 2005 

09:30am  10:30am 
Tutorial: Algorithmic randomness (Lecture
2) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 

12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Properly $Sigma^0_2$ sets and
enumeration reducibility 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 

Wednesday, 20 Jul 2005 

09:30am  10:30am 
Tutorial: Algorithmic randomness (Lecture
3) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 

12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 

03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 

Thursday, 21 Jul 2005 

09:30am  10:30am 
Tutorial: Definability of the Jump (Lecture 1) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 

12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Tutorial: Algorithmic randomness (Lecture
4) 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Eliminating concepts: Ktrivial equals
low for random 
Friday, 22 Jul 2005 

09:30am  10:30am 
Tutorial: Definability of the Jump (Lecture
2) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 

12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Tutorial: Algorithmic randomness (Lecture
5) 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Recent results on lowness properties 
Week 1 · Week 2 · Week 3 · Week 4
Monday, 25 Jul 2005 

09:30am  10:30am 
Selfembeddings of computable trees 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
On decisive and non Ushaped learning 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Ideals in computable rings 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Some properties for c.e. reals in the
SWdegrees 
Tuesday, 26 Jul 2005 

09:30am  10:30am 
Tutorial: Definability of the Jump (Lecture
3, part 1) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Tutorial: Definability of the Jump (Lecture
3, part 2) 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
A new
combinatorial principle related to Ramsey's theorem for
pairs? 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Indecomposable linear orderings and
hypearithmetic analysis 
Wednesday, 27 Jul 2005 


No talks scheduled... 
Thursday, 28 Jul 2005 

09:30am  10:30am 
Tutorial: Definability of the Jump (Lecture
4, part 1) 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Tutorial: Definability of the Jump (Lecture
4, part 2) 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
An ordering on c.e. sets based on their
settling times 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Uniform almost everywhere domination 
Friday, 29 Jul 2005 

09:30am  10:30am 
Intial segments, rigidity and
biinterpretability in the hyperdegrees 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Cupping computably enumerable degrees
in the difference hierarchy 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Computabilitytheoretic and
prooftheoretic aspects of Vaughtian model theory 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Positivemeasure domination 
Week 1 · Week 2 · Week 3 · Week 4
Monday, 1 Aug 2005 

09:30am  10:30am 
Generators and automorphism bases of
the computably enumerable degrees 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
PA sets, 1random sets, $\Pi^0_1$
classes 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
On the major subdegree theorem (Part
1): The first strategy and the permitting rules 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Open Forum: Future on Recursion Theory 
Tuesday, 2 Aug 2005 

09:30am  10:30am 
Definable ideals and quotient
structures in R 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
A tt version of the PosnerRobinson
Theorem 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
On the major subdegree theorem (Part
2): The second strategy and the general methods 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Locally countable partial orderings 
Wednesday, 3 Aug 2005 


No talks scheduled... 
Thursday, 4 Aug 2005 

09:30am  10:30am 
Generalized tabular reducibilities in infinite levels of
the Ershov difference hierarchy 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Weak degrees of Pi^0_1 subsets of
2^omega 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Weak
axioms of determinacy and subsystems of second order
arithmetic 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Refuting
Downey's conjecture 
Friday, 5 Aug 2005 

09:30am  10:30am 
Seetapun's theorem and related conjectures on the
strength of stable Ramsey's theorem for pairs 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Measures and randomness 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
On
the problems of definability in the enumeration degrees 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 

Week 1 · Week 2 · Week 3 · Week 4
Monday, 8 Aug 2005 

09:30am  10:30am 
Weakly scattered theories 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Reverse mathematics and Pi^1_2
comprehension 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Constructive logic and Medevedev
degrees 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Relative randomness via rkreducibility,
progress report 
Tuesday, 9 Aug 2005 


PUBLIC HOLIDAY (National Day) 
Wednesday, 10 Aug 2005 


No talks scheduled... 
Thursday, 11 Aug 2005 

09:30am  10:30am 
Computable measure theory 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Computational prospects of infinity 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 
Some remarks on Ramsey’s Theorem for
pairs 
03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 
Realizing $\Sigma_1$ formulas in $\mathcal{R}$ 
Friday, 12 Aug 2005 

09:30am  10:30am 
The excess complexity of random reals 
10:30am  11:00am 
 Coffee Break  
11:00am  12:00nn 
Decidability and definability in the
enumeration degrees 
12:00nn  02:30pm 
 Lunch Break  
02:30pm  03:30pm 

03:30pm  04:00pm 
 Coffee Break  
04:00pm  05:00pm 

Week 1 · Week 2 · Week 3 · Week 4
Organizing Committee · Confirmed Visitors · Overview · Activities · Membership Application