International
Congress M.ARI.AN. 2004
Nonstandard Models of Arithmetic
and Analysis
June 25-26, 2004, Pisa.
Scientific Committee:
Mauro Di Nasso (Univ. Pisa), Marco Forti (Univ. Pisa),
Karel Hrbacek (CUNY, New York), Roman Kossak (CUNY, New
York)
Organizer: Mauro Di Nasso (Univ. Pisa, Italia)
|
| General
information
The study of Peano Arithmetic
and its sub-theories, involves several different topics in mathematical
logic, namely model-theory, definability, complexity.
Nonstandard analysis is one of the most relevant applications
of model theory. It provides a sound mathematical basis for the
use of infinitesimal and infinite numbers in analysis. The study
of the so-called "nonstandard methods", on the one side originated
interesting foundational issues, on the other side provided a
useful tool in applications.
The common ground of "nonstandard models" justifies a congress
aimed to bring together researchers working on Peano Arithmetic and
on nonstandard analysis.
The topics and contributions will range from foundational questions
to recent results and applications.
In addition to invited lectures
there will be two sessions for contributed papers (see
the program).
There is no registration
fee for this congress. To register, just send an email confirming your participation
to marian2004@dm.unipi.it
with your name and affiliation. Only people who registered will be given
a badge, a booknote, a booklet of abstracts, and a poster of the conference.
Here is a pdf file of the conference poster.
For info write to:
marian2004@dm.unipi.it
|
Invited Speakers
|
Zofia Adamowicz
Polish Academy of
Sciences
|
|
Vieri Benci
Universita'
di Pisa, Italia
|
|
Alessandro Berarducci
Universita' di Pisa,
Italia
|
|
Paola D'Aquino
Universita' di Napoli
II, Italia
|
|
Ali Enayat
American University,
Washington, USA
|
|
Karel Hrbacek
The City College
- CUNY, New York, USA
|
|
Vladimir Kanovei
MCCME, Moscow, Russia
|
|
Roman Kossak
BCC and Graduate
Center - CUNY, New York, USA
|
|
Jean-Pierre Ressayre
Universite Paris
VII, France
|
|
David Ross
University of Hawaii,
USA
|
|
James Schmerl
University of Connecticut,
USA
|
|
Carlo Toffalori
University of Camerino,
Italy
|
|
| Acknowledgements
Financial
support for this meeting is provided in part by the PRIN-MIUR grant "Metodi
Logici nello studio di strutture geometriche, topologiche e insiemistiche",
and in part by a grant from GNSAGA-INDAM.
|
A related "nonstandard" congress
A related
congress is the International Conference on "Non Standard
Mathematics", Aveiro (Portugal), July 5-10, 2004.
|
