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


Those wishing to make appointments with our speakers during their visits to IU should contact Darren Abramson.