Program on Computation Prospects of Infinity

Computational Prospects of Infinity
(20 Jun - 15 Aug 2005)

Organizing Committee · Confirmed Visitors · Overview · Activities · Membership Application

Confirmed Visitors

(Partial list; as at 8 Jul 2005)

NAME & AFFILIATION	PERIOD OF VISIT	TENTATIVE TITLE OF TALK
Set Theory
Tutorial speakers:
John Steel University of California, Berkeley, USA steel@math.berkeley.edu	22 Jun - 12 Jul 2005	Derived models associated to mice Lecture notes: PDF...
W. Hugh Woodin University of California, Berkeley, USA woodin@math.berkeley.edu	3 Jun - 1 Jul 2005 and 31 Jul - 7 Aug 2005	1) Suitable extender sequences 2) A tt version of the Posner-Robinson Theorem
Participants:
Alessandro Andretta University of Turin, Italy andretta@dm.unito.it	28 Jun - 15 Jul 2005	The \delta^0_2 hierarchy
David Aspero University of Bristol, UK David.Aspero@bris.ac.uk	20 Jun - 15 Jul 2005	1) Guessing and non-guessing of canonical functions 2) Forcing better well orderings of H_w2
Joan Bagaria Universitat de Barcelona, Spain bagaria@ub.edu	9 - 15 Jul 2005	Generic absoluteness under projective forcing (Part 1 & 2)
Qi Feng National University of Singapore and Chinese Academy of Sciences matfq@nus.edu.sg	20 Jun - 15 Aug 2005	1) Pseudo projecta and iteration of type I premice 2) Type I T-premice
Gunter Fuchs Universität Muenster, Germany gfuchs@math.uni-muenster.de	20 Jun - 18 Jul 2005	1) Degrees of rigidity For Souslin trees 2) Lambda-structures and s-structures
Moti Gitik Tel-Aviv University, Israel gitik@post.tau.ac.il	20 Jun - 2 Jul 2005	Simpler short extenders forcing (Part 1 & 2)
Kai Hauser Technische Universität, Germany hauser@math.tu-berlin.de	22 - 26 Jun 2005	Intuition and (Mathematical) objects
Jean Larson University of Florida, USA jal@math.ufl.edu	20 Jun - 1 Jul 2005	A partition theorem for a large Rado graph
Paul Larson Miami University, USA larsonpb@muohio.edu	19 Jun - 17 Jul 2005	Generalizations of \sigma^2_1 absoluteness (Part 1 & 2)
Menachem Magidor Hebrew University of Jerusalem, Israel hupres@savion.huji.ac.il	3 - 15 Jul 2005	1) Skolem-Löwenheim-Tarski numbers for extensions of first order logic (Part 1) 2) PFA, MM and squares
William Mitchell University of Florida, USA mitchell@math.ufl.edu	19 Jun - 15 Jul 2005	1) Forcing no Aronszajn trees on \omega_2 and \omega_3 2) Finite forcing and I[\omega_2]
Tadatoshi Miyamoto Nanzan University, Japan miyamoto@nanzan-u.ac.jp	18 - 25 Jun 2005	A view of a semiproper iterated forcing which adds new reals only at limit stages
Itay Neeman University of California, Los Angeles, USA ineeman@math.ucla.edu	30 Jun - 12 Jul 2005	Finite state automata and monadic theories of ordinals (Part 1 & 2)
Gregory Piper University of Oxford, UK and Kobe Institute, Japan gregorypiper@yahoo.co.uk	20 Jun - 4 Jul 2005
Masahiro Shioya University of Tsukuba, Japan shioya@math.tsukuba.ac.jp	20 Jun - 5 Jul 2005	Diamond sequences on P_\kappa\lambda
Jouko Vaananen University of Helsinki, Finland jouko.vaananen@helsinki.fi	1 - 15 Jul 2005	1) Cardinals, continuum and reflection 2) Skolem-Löwenheim-Tarski numbers for extensions of first order logic (Part 2)
Philip Welch University of Bristol, UK P.Welch@bristol.ac.uk	21 Jun - 4 Jul 2005	1) Mutual stationarity at \aleph_n 's 2) Determinacy in strong cardinal module
Yasuo Yoshinobu Nagoya University, Japan yosinobu@math.nagoya-u.ac.jp	21 - 30 Jun 2005	Kurepa trees and Namba forcing
Shuguo Zhang Sichuan University, China iltcsuu@mail.sc.cninfo.net	20 Jun - 17 Jul 2005	Converse dual Cardinals
Graduate students:
Andrew Brooke-Taylor University of Vienna, Austria andrewbt@logic.univie.ac.at	19 Jun - 17 Jul 2005
Agus Budiyanto Lehigh University, USA abudiyanto@gc.cuny.edu	18 Jun - 15 Aug 2005
Franqui Solis Cardenas Poloche Humboldt-Universitat zu Berlin, Germany cardenas@mathematik.hu-berlin.de	16 Jun - 13 Jul 2005
Xianghui Shi Academy of Mathematics and Systems Science, China and University of California, Berkeley, USA shi@math.berkeley.edu	8 Jun - 8 Aug 2005
Serdar Sozubek Bogazici University, Turkey sozubeks@boun.edu.tr	18 Jun - 16 Jul 2005

Recursion Theory
Tutorial speakers:
Rod Downey Victoria University of Wellington, New Zealand downey@mcs.vuw.ac.nz	16 - 23 Jul 2005 and 28 Jul - 4 Aug 2005	Algorithmic randomness Lecture notes: PDF... Presentation slides (PDF): 1..., 2..., 3..., 4..., 5...
Ted Slaman University of California, Berkeley, USA slaman@math.berkeley.edu	16 Jul - 14 Aug 2005	Definability of the Jump
Participants:
Klaus Ambos-Spies Universität Heidelberg, Germany ambos@math.uni-heidelberg.de	21 Jul - 15 Aug 2005	Generators and automorphism bases of the computably enumerable degrees Presentation slides: PDF
Marat Arslanov Kazan State University, Russia marat.arslanov@ksu.ru	3 - 17 Aug 2005	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy Presentation slides: PDF
Serikzhan Badaev Al-Farabi Kazakh National University, Kazakhstan badaev@kazsu.kz	20 - 24 2005	Computable numberings in the hierarchy of Ershov
Peter Cholak University of Notre Dame, USA Peter.Cholak.1@nd.edu	14 Jul - 12 Aug 2005	1) Process on the c.e. sets: Improving and proving the Slaman-Woodin conjecture Presentation slides: PDF 2) Uniform almost everywhere domination Presentation slides: PDF Paper: PDF
Chitat Chong National University of Singapore, Singapore matcct@nus.edu.sg	20 Jun - 15 Aug 2005	Some remarks on Ramsey’s Theorem for pairs
Barbara F. Csima University of Waterloo, Canada csima@math.uwaterloo.ca	18 Jul - 16 Aug 2005	An ordering on c.e. sets based on their settling times
Decheng Ding Nanjing University, China dcding@nju.edu.cn	17 Jul - 14 Aug 2005	Computable measure theory Presentation slides: PDF
Noam Greenberg University of Notre Dame, USA erlkoenig@nd.edu	19 Jul - 15 Aug 2005	Computational prospects of infinity Presentation slides: PDF
Denis Hirschfeldt University of Chicago, USA drh@math.uchicago.edu	18 Jul - 14 Aug 2005	Computability-theoretic and proof-theoretic aspects of Vaughtian model theory Presentation slides: PDF
Carl Jockusch University of Illinois, Urbana-Champaign, USA jockusch@math.uiuc.edu	31 Jul - 15 Aug 2005	Seetapun's theorem and related conjectures on the strength of stable Ramsey's theorem for pairs
Iskander Kalimullin Kazan State University, Russia Iskander.Kalimullin@ksu.ru, IskanderSh@mail.ru	1 - 17 Aug 2005	On the problems of definability in the enumeration degrees
Thomas Franklin Kent University of Wisconsin, Madison, USA kent@math.wisc.edu	20 Jul - 14 Aug 2005	Decidability and definability in the enumeration degrees Presentation slides: PDF
Bjørn Kjos-Hanssen University of Connecticut, USA bjoernkjoshanssen@hotmail.com	11 Jul - 15 Aug 2005	Positive-measure domination Presentation slides: PDF
Antonin Kucera Charles University, Czeck Republic kucera@ksi.ms.mff.cuni.cz	17 Jul - 12 Aug 2005	PA sets, 1-random sets, $\Pi^0_1$ classes Presentation slides: PDF
Masahiro Kumabe University of the Air, Japan kumabe@u-air.ac.jp	17 - 29 Jul 2005	A 1-generic degree with a strong minimal cover
Steffen Lempp University of Wisconsin, Madison, USA lempp@math.wisc.edu	17 Jul - 13 Aug 2005	1) A new combinatorial principle related to Ramsey's theorem for pairs? 2) Refuting Downey's conjecture Paper: PDF...
Manuel Lerman University of Connecticut, USA mlerman@math.uconn.edu	18 - 29 Jul 2005	Self-embeddings of computable trees
Angsheng Li Chinese Academy of Sciences, China angsheng@gcl.iscas.ac.cn	16 Jul - 15 Aug 2005	1) On the major sub-degree theorem (Part 1): The first strategy and the permitting rules Presentation slides: PDF 2) On the major sub-degree theorem (Part 2): The second strategy and the general methods Presentation slides: PDF
Hong Lu Nanjing University, China luhong@nju.edu.cn	15 Jul - 14 Aug 2005	Some properties for c.e. reals in the SW-degrees Presentation slides: PDF
Joseph Roy Mileti University of Chicago, USA mileti@math.uchicago.edu	17 Jul - 2 Aug 2005	Ideals in computable rings
Joseph S. Miller Victoria University/Indiana University, USA joseph.s.miller@gmail.com	16 Jul - 13 Aug 2005	The excess complexity of random reals
Antonio Montalban Cornell University, USA antonio@math.cornell.edu	17 Jul - 15 Aug 2005	Indecomposable linear orderings and hypearithmetic analysis Presentation slides: PDF
André Nies University of Auckland, New Zealand andre@cs.auckland.ac.nz	15 - 25 Jul 2005	1) Eliminating concepts: K-trivial equals low for random Presentation slides: PDF 2) Recent results on lowness properties
Jan Reimann University of Heidelberg, Germany reimann@math.uni-heidelberg.de	18 Jul - 8 Aug 2005	Measures and randomness Presentation slides: PDF
Gerald Sacks Harvard University, USA sacks@math.harvard.edu	6 - 13 Aug 2005	Weakly scattered theories
Steve Simpson Pennsylvania State University, USA simpson@math.psu.edu	22 Jul - 11 Aug 2005	1) Weak degrees of Pi^0_1 subsets of 2^omega Presentation slides: PDF 2) Reverse mathematics and Pi^1_2 comprehension Presentation slides: PDF
Richard Shore Cornell University, USA shore@math.cornell.edu	20 Jul - 3 Aug 2005	Intial segments, rigidity and biinterpretability in the hyperdegrees
Andrea Sorbi University of Siena, Italy sorbi@unisi.it	18 - 29 Jul 2005	Properly $Sigma^0_2$ sets and enumeration reducibility
Frank Stephan National University of Singapore, Singapore fstephan@comp.nus.edu.sg	20 Jun - 15 Aug 2005	On decisive and non U-shaped learning Presentation slides: PDF
Kazuyuki Tanaka Tohoku University Japan tanaka@math.tohoku.ac.jp	31 Jul - 12 Aug 2005	Weak axioms of determinacy and subsystems of second order arithmetic
Sebastiaan Terwijn Technical University of Vienna, Austria terwijn@logic.at	19 Jul - 13 Aug 2005	Constructive logic and Medevedev degrees Presentation slides: PDF
Guohua Wu Nanyang Technological University, Singapore guohua@ntu.edu.sg	15 Jul - 15 Aug 2005	Cupping computably enumerable degrees in the difference hierarchy Presentation slides: PDF
Takeshi Yamazaki Osaka Prefecture University, Japan yamazaki@mi.s.osakafu-u.ac.jp
Yue Yang National University of Singapore, Singapore matyangy@nus.edu.sg	20 Jun - 15 Aug 2005	Definable ideals and quotient structures in R Presentation slides: PDF...
Liang Yu National University of Singapore, Singapore matyl@nus.edu.sg	10 Jul - 15 Aug 2005	Locally countable partial orderings Presentation slides: PDF...
Graduate students:
Alexander Raichev University of Wisconsin-Madison, USA raichev@math.wisc.edu	16 Jul - 16 Aug 2005	Relative randomness via rk-reducibility, progress report
Brochenin Remi Ecole Normale Supérieure de Lyon, France Remi.Brochenin@ens-lyon.fr	16 Jul - 14 Aug 2005
Wei Wang Nanjing University, China wwang@botwave.com	17 Jun - 14 Aug 2005	Realizing $\Sigma_1$ formulas in $\mathcal{R}$

Organizing Committee · Confirmed Visitors · Overview · Activities · Membership Application

Computational Prospects of Infinity (20 Jun - 15 Aug 2005)

Confirmed Visitors

Computational Prospects of Infinity
(20 Jun - 15 Aug 2005)