IU Logic Program Logic Seminar

The Indiana University Logic Seminar
The Logic Seminar is brought to you by the Indiana University Logic Program Seminar Organizer: Slawomir Solecki Students can register to participate in the Logic Seminar for credit. (This is a Logic Certificate requirement.) In the schedule of classes the Logic Seminar is listed as P590, M800 and C690 Interdisciplinary Logic Seminar. The instructor's authorization is required for registration. Contact Professor Solecki (ssolecki@indiana.edu).
Fall 99 Schedule Unless otherwise noted, all meetings will take place in Ballantine Hall 340, at 4 p.m. Friday, September 3 Jindra Zapletal Dartmouth College Terminal notions of set theory September 15 Larry Moss Indiana University Parametric corecursion September 22 Slawek Solecki Indiana University Haar null sets: complexity of a notion of measure theoretic zero sets on non-locally compact groups September 29 Daniel Leivant Indiana University Intrinsic theories: a methodology for reasoning about functional programs and their computational complexity Thursday, October 7 Warren Goldfarb Harvard University On Dummet's "Proof-Theoretic Justification of Logical Laws" Note: This talk will take place in Ballantine Hall 103 October 13 Program Meeting October 20 Dirk Van Gucht Indiana University Finitely-representable models and their applications in first-order logics over the reals October 27 Jan Mycielski University of Colorado-Boulder Can one prove the Continuum Hypothesis (using new reasonable axioms)? November 3Phokion G. Kolaitis University of California, Santa Cruz On the Boundedness Problem for Fragments of First-Order Logic November 10Yaroslav Shramko Indiana University/Kryvyj Rih State University Semantics for Constructive Negations December 1Zhenghan Wang Indiana University Topological approach to quantum computation	Fall 1999 Schedule Spring 1999 Schedule Fall 1998 Schedule Spring 1998 Schedule Fall 1997 Schedule Spring 1997 Schedule Fall 1996 Schedule Spring 1996 Schedule Fall 1995 Schedule Spring 1995 Schedule Fall 1994 Schedule
Those wishing to make appointments with our speakers during their visits to IU should contact Darren Abramson.

i u l g @ i n d i a n a .e d u	Program Brochure Preprints Main Page

The Indiana UniversityLogic Seminar

Fall 99 Schedule

The Indiana University
Logic Seminar