Pasini, Leonardo:
Hardy fields in several variables
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 79 (1985), fasc. n.1-4, p. 15-18, (English)
pdf (540 Kb), djvu (484 Kb). | MR 0944385 | Zbl 0643.12005
Sunto
In questo lavoro si estende il concetto di campo di Hardy [Bou], al contesto dei germi di funzioni in più variabili che sono definite su insiemi semi-algebrici [Br.], [D.] e che risultano essere morfismi di categorie lisce [Pal.]. In tale contesto si dimostra che per ogni campo di Hardy di germi di una fissata categoria liscia $\mathcal{C}$, la sua chiusura algebrica relativa nell'anello $G \, \mathcal{C}$, di tutti i germi nella stessa categoria liscia, è un campo di Hardy reale chiuso, che è l'unica chiusura reale del campo di Hardy fissato nell'anello $G \, \mathcal{C}$ dei germi di funzioni continue. Viene quindi generalizzato un risultato di Robinson [R.], inerente i campi di Hardy tradizionali su $R$ rispetto alla categoria $C^{\infty}$ e dove i germi sono presi a $+ \infty$. Inoltre, per ogni categoria liscia $\mathcal{C}$ si definisce la classe dei «$\mathcal{C}$-campi» e si nota che lo stesso risultato sulla chiusura reale è valido in questo caso.
Referenze Bibliografiche
[Bou.] N. BOURBAKI (1951) - Éléments de mathématique, 12, Livre IV. Paris, 107-126.
[Br.]
G.W. BRUMFIEL (
1979) -
Partially Ordered Rings and Semi-Algebraic Geometry. London «
Math. Soc. Lect.», Notes
37,
Cambridge Univ. Press. |
MR 553280 |
Zbl 0415.13015[Pal.]
R. PALAIS (
1972) -
Equivariant, real algebraic, differential topology. I. Smoothness categories and Nash manifolds, notes, Brandeis Univ. |
Zbl 0281.57015[R.]
A. ROBINSON -
On the real closure of Hardy Field. In:
G. ASSER et al., eds.,
Theory of Sets and Topology Hausdorff Memorial Volume (
VEB Deutscher Verlag der Wissensch., Berlin), pp. 427-433. |
MR 340225 |
Zbl 0298.02061[V.d.D.]
L. VAN DEN DRIES (
1984) -
Remarks on Tarski's problem concerning $(\mathbb{R}, + , exp)$,
Proc. Peano Conf. Florence. Logic Colloquium 82.
Elsevier Science Pubblishers B.V. (North-Holland). |
fulltext (doi) |
MR 762106 |
Zbl 0585.03006