Joint Mathematics Meetings Program by Special Session
Current as of Tuesday, April 12, 2005 15:09:45
Program 
Deadlines 
Registration/Housing/Etc. 
Inquiries: meet@ams.org
1998 Joint Mathematics Meetings
Baltimore, MD, January 710, 1998
Meeting #930
Associate secretaries:
Robert J Daverman, AMS daverman@math.utk.edu
Donovan H Van Osdol, MAA dv@christa.unh.edu
AMS Special Session on Computable Mathematics and Its Applications

Wednesday January 7, 1998, 2:15 p.m.6:05 p.m.
AMS Special Session on Computable Mathematics and Its Applications, I
Organizers:
Valentina Harizanov, George Washington University val@math.gwu.edu

2:15 p.m.
Recursive Matheamtics: Where it is coming from and where it might go.
Anil Nerode*, Cornell University
(93003599)

3:15 p.m.
Feasible Structures with Standard Universe.
Douglas Cenzer*, Department of Mathematics, University of Florida, Gainesville, FL
(93003449)

3:45 p.m.
Properties of sets which are excisable from domains of computable real functions.
Iraj Kalantari*, Western Illinois University
(930031015)

4:15 p.m.
Generalized cohesiveness.
Tamara Hummel*, Allegheny College
Carl G. Jockusch, Jr., University of Illinois
(9300365)

4:45 p.m.
More on generalized cohesiveness.
Tamara Hummel, Allegheny College
Carl G. Jockusch, Jr.*, University of Illinois
(93003402)

5:15 p.m.
Computable Fully Ordered Groups.
David Reed Solomon*, Cornell University
(93003934)

5:45 p.m.
A framework for the priority method.
Manuel Lerman*, University of Connecticut
(93003404)

Thursday January 8, 1998, 8:00 a.m.11:50 a.m.
AMS Special Session on Computable Mathematics and Its Applications, II
Organizers:
Valentina Harizanov, George Washington University val@math.gwu.edu

8:00 a.m.
Degree spectra of relations on computable structures.
Richard A. Shore*, Cornell University
(93003318)

9:00 a.m.
On intrinsically 1recursive trees.
John Chisholm*, Western Illinois University
(93003882)

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,
(930031208)

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
(93003862)

10:30 a.m.
Some results in resourcebounded measure theory.
Steven M. Kautz*, RandolphMacon Woman's College
(930031151)

11:00 a.m.
Recursion Theory and Fragments of Arithmetic.
Marcia J. Groszek*, Dartmouth College
(930031205)

11:30 a.m.
On Realizations of Scott Rank.
Gerald Sacks*, Harvard University
(930031189)

Thursday January 8, 1998, 2:15 p.m.4:05 p.m.
AMS Special Session on Computable Mathematics and Its Applications, III
Organizers:
Valentina Harizanov, George Washington University val@math.gwu.edu

2:15 p.m.
Isomorphisms between Boolean algebras.
Julia F. Knight*, University of Notre Dame
Michael Stob, University of Notre Dame and Calvin College
(930031188)

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
(93003893)

3:15 p.m.
Gasarch's Maximum Problem.
James C. Owings, Jr.*, University of Maryland, College Park, MD
(93003827)

3:45 p.m.
$\Pi^0_1$ Classes in Mathematics.
Jeffrey B. Remmel*, University of California, San Diego, La Jolla, CA
(930031074)
MAA Online
Inquiries: meet@ams.org