collaborators

2 papers

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…