Showing math.LOShow all
2 papers · 1 filter
math.LO2006
O-minimal spectrum
Antongiulio Fornasiero
Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.
math.LO2006
Recursive definitions on surreal numbers
Antongiulio Fornasiero
Let No be Conway's class of surreal numbers. I will make explicit the notion of a function f on No recursively defined over some family of functions. Under some "tameness" and unif…