8:00 a.m. Degree spectra of relations on computable structures. Richard A. Shore*, Cornell University
(930-03-318)
9:00 a.m. On intrinsically 1-recursive trees. John Chisholm*, Western Illinois University
(930-03-882)
9:30 a.m. Towards a Logic of Discovery. J\=anis B\=arzdi\c{n}\u{s}, University of Latvia
Carl H Smith*, University of Maryland
Rusins Freivalds,
(930-03-1208)
10:00 a.m. Applications of Computable Mathematics in Logical Foundations of Artificial Intelligence. Victor W. Marek*, University of Kentucky
Jeffrey B. Remmel, University of California
(930-03-862)
10:30 a.m. Some results in resource-bounded measure theory. Steven M. Kautz*, Randolph-Macon Woman's College
(930-03-1151)
11:00 a.m. Recursion Theory and Fragments of Arithmetic. Marcia J. Groszek*, Dartmouth College
(930-03-1205)
11:30 a.m. On Realizations of Scott Rank. Gerald Sacks*, Harvard University
(930-03-1189)
2:15 p.m. Isomorphisms between Boolean algebras. Julia F. Knight*, University of Notre Dame
Michael Stob, University of Notre Dame and Calvin College
(930-03-1188)
2:45 p.m. Boolean algebras with recursive copies. Julia F. Knight, University of Notre Dame
Michael Stob*, University of Notre Dame and Calvin College
(930-03-893)
3:15 p.m. Gasarch's Maximum Problem. James C. Owings, Jr.*, University of Maryland, College Park, MD
(930-03-827)
3:45 p.m. $\Pi^0_1$ Classes in Mathematics. Jeffrey B. Remmel*, University of California, San Diego, La Jolla, CA
(930-03-1074)