Joint Mathematics Meetings AMS Special Session
Current as of Saturday, January 14, 2023 03:30:04
- Program
- ·
- Deadlines
- ·
- Timetable
- ·
- Inquiries: meet@ams.org
2023 Joint Mathematics Meetings (JMM 2023)
- John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA
- January 4-7, 2023 (Wednesday - Saturday)
- Meeting #1183
Associate Secretary for the AMS Scientific Program:
Steven H. Weintraub, Lehigh University shw2@lehigh.edu
AMS Special Session on Definability, Computability, and Model Theory: A Special Session dedicated to Gerald E. Sacks I
-
Wednesday January 4, 2023, 8:00 a.m.-12:00 p.m.
AMS Special Session on Definability, Computability, and Model Theory: A Special Session dedicated to Gerald E. Sacks I
Independence East, Sheraton Boston Hotel
Organizers:
Nathanael Leedom Ackerman, Harvard University nate@aleph0.net
Ted Slaman, University of California, Berkeley
Cameron E. Freer, Massachusetts Institute of Technology
-
8:00 a.m.
The Remarkable Set Theory in Gödel's Resultate Grundlagen
A. Kanamori*, Boston University
(1183-03-15695) -
9:00 a.m.
Minimal Upper Bounds for Countable Sets of Hyperdegrees
Robert S. Lubarsky*, Florida Atlantic University
(1183-03-18425) -
9:30 a.m.
A Pattern of Generalization in Kurt Gödel's Work on the Continuum
Montgomery Link*, Suffolk University
(1183-03-19014) -
10:00 a.m.
What can the infinite tell us about the finite?
Maryanthe Malliaris*, University of Chicago
(1183-03-19681) -
11:00 a.m.
Fifty Years of Informal collaboration with Gerald Sacks
Anil Nerode*, Cornell University
(1183-03-20612)
-
8:00 a.m.
-
Wednesday January 4, 2023, 1:00 p.m.-6:00 p.m.
AMS Special Session on Definability, Computability, and Model Theory: A Special Session Dedicated to Gerald E. Sacks II
Independence East, Sheraton Boston Hotel
Organizers:
Nathanael Leedom Ackerman, Harvard University nate@aleph0.net
Ted Slaman, University of California, Berkeley
Cameron E. Freer, Massachusetts Institute of Technology
-
1:00 p.m.
Gerald Sacks' Work and Computer Science
Steve Homer*, Boston University
(1183-03-22341) -
2:00 p.m.
Model theory of fields of prime characteristic
Carol Saunders Wood*, Wesleyan University
(1183-03-18343) -
2:30 p.m.
Some recent applications of the model theory of differentially closed fields
Rahim Nazim Moosa*, University of Waterloo
(1183-03-22010) -
3:00 p.m.
Differentially closed fields and $L_{\omega _1,\omega }$-categoricity of universal covers
John T. Baldwin*, University of Illinois at Chicago
(1183-03-18467) -
4:00 p.m.
The Beginnings of $\alpha $-Recursion Theory
Manuel Lerman*, University of Connecticut
(1183-03-18907) -
4:30 p.m.
Effective ultrapowers
Valentina Harizanov*, George Washington University
(1183-03-19633) -
5:00 p.m.
Remembrances of Gerald Sacks
Nathanael Leedom Ackerman, Harvard University
Cameron E. Freer, Massachusetts Institute of Technology
Theodore A. Slaman*, University of California, Berkeley
(1183-03-19590)
-
1:00 p.m.
-
Thursday January 5, 2023, 8:00 a.m.-12:00 p.m.
AMS Special Session on Definability, Computability, and Model Theory: A Special Session Dedicated to Gerald E. Sacks III
Independence East, Sheraton Boston Hotel
Organizers:
Nathanael Leedom Ackerman, Harvard University nate@aleph0.net
Ted Slaman, University of California, Berkeley
Cameron E. Freer, Massachusetts Institute of Technology
-
8:00 a.m.
Degrees of Unsolvability
Stephen G. Simpson*, Vanderbilt University
(1183-03-17820) -
9:00 a.m.
Ordinal Arithmetic in $\text {RCA}^*_0$
Marcia Groszek*, Dartmouth College
(1183-03-20537) -
9:30 a.m.
Highness notions connected to jump hierarchies
Wesley Calvert, Southern Illinois University
Johanna N Y Franklin*, Hofstra University
Dan Turetsky, Victoria University of Wellington
(1183-03-20510) -
10:00 a.m.
Consciousness through a Theoretical Computer Science Lens: Insights from the Conscious Turing Machine
Lenore Blum*, CMU
(1183-68-15561) -
11:00 a.m.
The Kleene-Gandy Basis Theorem, Strong $\Sigma ^1_1$-AC₀, Coded -models, $\Pi ^1_1$-CA₀ and Applications
Richard A Shore*, Department of Mathematics, Cornell University, Ithaca NY
(1183-03-16561)
-
8:00 a.m.