AMS :: Joint Mathematics Meetings, Program by Special Session
Joint Mathematics Meetings Program by Special Session
Current as of Tuesday, April 12, 2005 15:10:26
Program |
Deadlines |
Inquiries: meet@ams.org
Joint Mathematics Meetings
Baltimore, MD, January 15-18, 2003
Meeting #983
Associate secretaries: Susan J Friedlander , AMS susan@math.northwestern.edu
James J Tattersall , MAA tat@providence.edu
AMS Special Session on Nonstandard Models of Arithmetic and Set Theory
Wednesday January 15, 2003, 8:00 a.m.-10:45 a.m. AMS Special Session on Nonstandard Models of Arithmetic and Set Theory, I
Organizers: Ali Enayat , American University enayat@american.edu
Roman Kossak , CUNY Graduate Center rkossak@gc.cuny.edu
8:00 a.m.
Automorphisms of models of set theory.
Ataollah Togha* , The George Washington University
(983-03-1236)
8:30 a.m.
Non-standard powers and actions of groups.
Alexei Miasnikov* , Graduate Center, City University of New York
(983-03-1284)
9:00 a.m.
Five questions about combinatorial principles in nonstandard analysis.
Renling Jin* , College of Charleston
(983-03-840)
9:30 a.m.
Communities Of Consensus In The Set Theoretic Cosmos.
David J Ballard* , Sonoma State University
(983-03-683)
10:00 a.m.
Fully internally iterated ultrapowers and nonstandard set theory.
Karel Hrbacek* , City College of CUNY
(983-03-714)
Wednesday January 15, 2003, 2:15 p.m.-6:05 p.m. AMS Special Session on Nonstandard Models of Arithmetic and Set Theory, II
Organizers: Ali Enayat , American University enayat@american.edu
Roman Kossak , CUNY Graduate Center rkossak@gc.cuny.edu
2:15 p.m.
Coding in fragments of arithmetic.
Paola D'Aquino , Seconda Univ. di Napoli
Julia Knight* , University of Notre Dame
(983-03-464)
3:15 p.m.
Turing upper bounds of countable jump ideals and Scott sets.
Alex M McAllister* , Centre College
(983-03-897)
3:45 p.m.
Measure theory in weak theories of nonstandard arithmetic.
Jeremy Avigad* , Carnegie Mellon University
(983-03-1190)
4:15 p.m.
Diversity in the Substructure Lattice of a Model of {\sf PA}.
James H. Schmerl* , University of Connecticut
(983-03-983)
5:15 p.m.
A model theoretic approach to questions in bounded arithmetic.
Zofia Adamowicz* , Mathematical Institute, Polish Academy of Sciences
(983-03-1350)
5:45 p.m.
From Arithmetic to Large Cardinals via NFU.
Ali Enayat* , American University
(983-03-1071)
Thursday January 16, 2003, 1:00 p.m.-3:45 p.m. AMS Special Session on Nonstandard Models of Arithmetic and Set Theory, III
Organizers: Ali Enayat , American University enayat@american.edu
Roman Kossak , CUNY Graduate Center rkossak@gc.cuny.edu
1:00 p.m.
Reflections on non-standard models.
Haim Gaifman* , Columbia University
(983-03-1205)
2:00 p.m.
Nonstandard standard systems.
Roman Kossak* , Graduate Center, City University of New York
(983-03-1168)
2:30 p.m.
AC fails in the natural analogues of V and L that model the stratified fragment of ZF.
Thomas Forster* , Cambridge University
(983-03-1263)
3:00 p.m.
Working with models of set theory with nonstandard integers.
Harvey M Friedman* , The Ohio State University
(983-03-1108)
MAA Online
Inquiries: meet@ams.org