Table of Contents
|
|
Vasco Brattka, Emmanuel Rauzy
|
|
|
Alice Giraud
|
Font Size
Keywords
Continua
Existentially closed models
Kuratowski’s problem
axiom of choice
constructive Topology
continuous logic
definable sets
derivatives
effective infinitesimals
expansions of the real ordered additive group, fractals, monadic second order theory of one successor
hyperreals
idempotent ultrafilters
iterated ultrapower
levels of infinity
levels of standardness
nonstandard analysis
recursive inequalities
space-filling curves
subgradient methods
topometric spaces
ultrafilter