International Congress
"NonStandard Methods and Applications in Mathematics"
Pisa, May 25-31, 2006
[Aula Magna]
9:00
K. Hrbacek
Relative Set Theory
9:50
E. Gordon
Mathematics in a Hyperfinite World
10:40
Coffee Break
11:10
M. Forti
A Functional Characterization of Nonstandard Models
12:00
H.J. Keisler
Quantifiers In Limits
12:50
Lunch Break
* * *
15:00
A. Enayat
Iterated Ultrapowers And Automorphisms
15:50
R. Kossak
Second Order Structure of Models of First Order Arithmetic
16:40
Coffee Break
Contributed Talks
[sessions in parallel]
Session I [Aula Magna]
17:10
R. O'Donovan
Relative Infinitesimals: a Promising Approach for High-School Teaching of Analysis
17:40
F.B. Soares
Nonstandard Analysis Fear Creates Non-Sense Analysis: the Case of Pre-University Portoguese Manuals
Session II [Sala Riunioni]
17:10
T. Nitta
Infinitesimal Fourier Transformation for the Space of Functionals
17:40
A. Wisnicki
On the Structure of Fixed-Point Sets of Nonexpansive Mappings
18:10
N. Vakil
What Happens When Two Infinitesimal Relations Coincide?
18:40
End of sessions