Logic Seminars

1999-2000

Tuesday, August 31
Walker White
Cornell University
Algorithmic complexity of some model theoretic properties

Thursday, September 2
Roman Tymkiv
Cornell University
Intuitionistic arithmetic

Tuesday, September 7
Walker White
Cornell University
Algorithmic complexity of some model theoretic properties II

Thursday, September 9
Joe Miller
Cornell University
Realizability and recursive mathematics I: intuitionistic set theory

Tuesday, September 14
Richard Shore
Cornell University
Defining the Turing jump I

Thursday, September 16
Joe Miller
Cornell University
Realizability and recursive mathematics II: the general realizability structure

Tuesday, September 21
Sergei Artemov
Cornell University
Proof realizability

Thursday, September 23
Joe Miller
Cornell University
Realizability and recursive mathematics III

Tuesday, September 28
Harold Hodes
Cornell University
Generalizing natural deduction (at least slightly)

Thursday, September 30
Joe Miller
Cornell University
Realizability and recursive mathematics IV

Tuesday, October 5
Alexandre Evfimievski
Cornell University
A probabilistic algorithm for updating files over a communication link

Thursday, October 7
Joe Miller
Cornell University
Realizability and recursive mathematics V

Tuesday, October 12
Philip Scowcroft
Wesleyan University
Intuitionistic analysis

Thursday, October 14
Philip Scowcroft
Wesleyan University
Intuitionistic analysis II

Tuesday, October 19
Alexei Kopylov
Cornell University
Linear logic

Tuesday, October 26
Alexei Kopylov
Cornell University
Linear logic, part II: decidability of linear affine logic

Thursday, October 28
Walker White
Cornell University
Realizability and recursive mathematics

Thursday, November 4
Walker White
Cornell University
Realizability and recursive mathematics II

Tuesday, November 9
Suman Ganguli
Cornell University
Realizability and recursive set theory

Thursday, November 11
Harvey Friedman
Ohio State University
Approximate fixed points, disjoint covers and optimized posets

Tuesday, November 16
Suman Ganguli
Cornell University
Realizability and recursive set theory II

Thursday, November 18
Steve Zdancewic
Cornell University
Computational interpretation of classical proofs

Tuesday, November 23
Suman Ganguli
Cornell University
Realizability and recursive set theory III

Thursday, January 27
Vitezxlav Svejdar
Karlovy University
PSPACE-completeness in some non-classical logics

Tuesday, February 1
Richard Shore
Cornell University
Defining the Turing jump I

Thursday, February 3
Roman Tymkiv
Cornell University
Constructive ordinals and Pi-1-1 sets I

Tuesday, February 8
Richard Shore
Cornell University
Defining the Turing jump II

Thursday, February 10
Roman Tymkiv
Cornell University
Constructive ordinals and Pi-1-1 sets II

Tuesday, February 15
Joseph Miller
Cornell University
Variations on timed automata

Thursday, February 17
Roman Tymkiv
Cornell University
Constructive ordinals and Pi-1-1 sets III

Tuesday, February 22
Yuval Gabay
Cornell University
The hyperarithmetic hierarchy

Tuesday, February 29
Suman Ganguli
Cornell University
Decidable Kripke models for modal logic I

Thursday, March 2
Yuval Gabay
Cornell University
The hyperarithmetic hierarchy II

Tuesday, March 7
Suman Ganguli
Cornell University
Decidable Kripke models for modal logic II

Thursday, March 9
Yuval Gabay
Cornell University
The hyperarithmetic hierarchy III

Tuesday, March 14
Suman Ganguli
Cornell University
Decidable Kripke models for modal logic III

Thursday, March 16
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals I

Tuesday, March 28
Richard Shore
Cornell University
Another splitting theorem

Thursday, March 30
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals II

Tuesday, April 4
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals III

Thursday, April 6
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals IV

Tuesday, April 11
Roman Tymkiv
Cornell University
Finite computable dimension does not relativize

Wednesday, April 12
Gerald Sacks
Harvard University and MIT
E-recursion I

Thursday, April 13
Gerald Sacks
Harvard University and MIT
E-recursion II

Tuesday, April 18
Walker White
Cornell University
Metarecursion: enumerability I

Tuesday, April 25
Walker White
Cornell University
Metarecursion: enumerability II

Tuesday, May 2
Walker White
Cornell University
Metarecursion: priority arguments

Thursday, May 4
Walker White
Cornell University
Metarecursion: priority arguments