JAF18



CUNY Graduate Center,


New-York (USA)


November 19-21, 1999




ADAMOWICZ Zofia - (Warsaw University, Mathematics Institute of the Polish Academy Of Sciences), An application of a reflection principle.


AVIGAD Jeremy - (Carnegie-Mellon University), Sheaf semantics and nonstandard intuitionistic arithmetic.


BECKMAN Arnold - (University of California, San Diego), Proving consistency of equational theories in bounded arithmetic.


CEGIELSKI Patrick & RICHARD Denis - (LACL, université Paris XII & LLAIC1, université d'Auvergne), What are the Weak Arithmetics?.


BUSS Samuel - (University of California, San Diego), Complexity, Cryptography and Bounded Arithmetic.


FRIEDMAN Harvey - (The Ohio State University), Large cardinals and discrete mathematics.


MARGENSTERN Maurice - (Université de Metz, IUT), On computation models.


RESSAYRE Jean-Pierre - (Équipe de Logique, université Paris VII), Iterations of o-minimal functions.


SCHMELING Michael - (Équipe de Logique, université Paris VII), Fields of transseries with super-exponential functions.


SIMPSON Steve - (Pennsylvania State University), New directions and recent results in reverse mathematics.