Pith. sign in

REVIEW 1 major objections 4 minor 45 references

Rings of differentiable semialgebraic functions

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that for every r≥1, the Zariski and maximal spectra of the ring of C^r differentiable semialgebraic functions on a semialgebraic set are homeomorphic to those of the ring of continuous semialgebraic functions, so all…

desk verdict Main spectral homeomorphism theorems are sound and novel; the paper overstates the real-closed-ring corollary by one unproven integral-closedness claim. read the letter →

arxiv 1908.07257 v1 pith:DYFR4UTQ submitted 2019-08-20 math.AG

E. Baro , José F. Fernando , J.M. Gamboa This is my paper · ORCID
classification math.AG MSC 14P1046E2512D1513E99
keywords differentiablesemialgebraicfunctionsZariskispectrummaximalrealclosedfieldringclosureLojasiewiczNullstellensatzNash
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that the ring ${\mathcal S}^r(M)$ of ${\mathcal C}^r$ differentiable semialgebraic functions on any semialgebraic set $M\subset\mathbb{R}^m$ has the same Zariski and maximal spectra as the ring ${\mathcal S}^0(M)$ of continuous semialgebraic functions on $M$ that extend to an open neighborhood of $M$ in its closure. The same holds for the bounded subrings ${\mathcal S}^{r*}(M)$ and ${\mathcal S}^{0*}(M)$. Because the homeomorphism is explicit, every spectral property of the two rings is identical: ${\mathcal S}^r(M)$ is a Gelfand ring, its Krull dimension equals $\dim(M)$, and the fraction field of each quotient by a prime ideal is real closed. The paper also shows that ${\mathcal S}^0(M)$ is the real closure of ${\mathcal S}^r(M)$, even though ${\mathcal S}^r(M)$ itself is not real closed because sums of radical ideals need not be radical.

What carries the argument

The load-bearing identity is the inverse pair $\phi(p)=p\cap{\mathcal S}^r(M)$ and $\psi(q)=\sqrt{q{\mathcal S}^0(M)}$, which makes the two spectra into the same topological space. The identity is established with three tools: first, the semialgebraic Whitney extension theorem, which says that semialgebraic jets on closed sets extend to ${\mathcal C}^r$ semialgebraic functions on $\mathbb{R}^m$ and so supplies the extension results; second, Lojasiewicz's Nullstellensatz for ${\mathcal S}^r(M)$ on locally compact $M$, which turns zero-set containment into ideal containment and makes radical ideals of ${\mathcal S}^r(M)$ into $z$-ideals, that is, ideals closed under the rule 'if $Z(f)\subset Z(g)$ and $f$ is in the ideal, then $g$ is in the ideal'; and third, for the bounded rings, a sup-norm approximation lemma that identifies $\sqrt{q{\mathcal S}^{0*}(M)}$ with a prime ideal of ${\mathcal S}^{0*}(M)$ contracting back to $q$, plus a localization argument reducing to the unbounded case.

What would settle it

Construct a semialgebraic set $M$ and a prime ideal $q$ of ${\mathcal S}^r(M)$ for which $\sqrt{q{\mathcal S}^0(M)}\cap{\mathcal S}^r(M)$ strictly contains $q$; the paper's inverse formula says these two sets must be equal, so such a pair would falsify Theorem 1.2 and the real-closure statement.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.2: for every semialgebraic set $M\subset\mathbb{R}^m$ and every $r\ge0$, the map $\phi:\operatorname{Spec}^{0*}(M)\to\operatorname{Spec}^{r*}(M)$, $p\mapsto p\cap{\mathcal S}^{r*}(M)$ is a homeomorphism of Zariski spectra, with inverse $\psi(q)=\sqrt{q{\mathcal S}^{0}(M)}$; restricting to maximal ideals gives a homeomorphism of maximal spectra. The proof for ${\mathcal S}^r$ uses an ${\mathcal S}^r$ version of Lojasiewicz's Nullstellensatz on locally compact $M$, together with a weak version valid for arbitrary $M$, and the bounded case is handled through approximation and localization arguments. A further consequence is that the inclusion ${\mathcal S}^r(M)\hookrightarrow{\mathcal S}^0(M)$ induces an isomorphism of fraction fields $\kappa(p\cap{\mathcal S}^r(M))\cong\kappa(p)$, so the residue fields are real closed.

Load-bearing premise

The load-bearing premise is the semialgebraic Whitney extension theorem: every ${\mathcal C}^r$ semialgebraic function on a closed semialgebraic set, together with compatible data for all partial derivatives up to order $r$, can be extended to an actual ${\mathcal C}^r$ semialgebraic function on the whole ambient space; if this extension step fails in even one case, the bridge to Lojasiewicz's Nullstellensatz and hence to the spectra homeomorphism collapses.

Editorial extensions

If this is right

  • For every $r\ge1$, the rings ${\mathcal S}^r(M)$ and ${\mathcal S}^{r*}(M)$ are Gelfand rings and have Krull dimension equal to $\dim(M)$, matching the dimension of the continuous semialgebraic rings.
  • The maximal spectrum of ${\mathcal S}^r(M)$ is homeomorphic to the semialgebraic Stone\,{CC}ech compactification of $M$, so the same compactification serves every differentiability class.
  • Every quotient of ${\mathcal S}^r(M)$ by a prime ideal has a real closed field of fractions, and ${\mathcal S}^0(M)$ is the real closure of ${\mathcal S}^r(M)$; the only obstruction to ${\mathcal S}^r(M)$ being a real closed ring is that a sum of two radical ideals need not be radical.
  • A semialgebraic function of class ${\mathcal C}^\infty$ is locally Nash at every point, and on coherent Nash sets the ring ${\mathcal S}^\infty(M)$ coincides with the ring of Nash functions ${\mathcal N}(M)$.
  • Any spectral property of the continuous semialgebraic rings, such as spectral maps induced by semialgebraic maps, dimension bounds, and Gelfandness, transfers automatically to the differentiable rings ${\mathcal S}^r(M)$ and ${\mathcal S}^{r*}(M)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the spectrum homeomorphism is taken as a working tool, one can use ${\mathcal S}^r$ functions as a full set of test functions for semialgebraic topology, since zero sets and spectral data no longer depend on the chosen differentiability class; a natural testable extension would ask whether the same theorem survives when semialgebraic sets are replaced by definable sets in a general o-minimal st
  • The single failure of real closedness, namely that sums of radical ideals need not be radical, points toward non-coherence as the underlying phenomenon, so the search for examples where ${\mathcal S}^\infty\neq{\mathcal N}$ could be guided by zero sets whose ideal generators do not behave coherently at singular points.
  • A direct computation of $\operatorname{Spec}{\mathcal S}^r(M)$ for a non-locally compact, two-dimensional semialgebraic set with a problematic point would provide an explicit check of the inverse formula $q\mapsto\sqrt{q{\mathcal S}^0(M)}$ outside the locally compact case.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper develops an intrinsic theory of differentiable semialgebraic functions of class C^r on arbitrary semialgebraic sets, following the jet-based definition of Aschenbrenner and Thamrongthanyalak. Its central result, Theorem 1.2, asserts that for every semialgebraic set M and every r≥0, the restriction map φ: Spec^{0⋄}(M)→Spec^{r⋄}(M), p↦p∩S^{r⋄}(M), is a homeomorphism whose inverse is q↦√(qS^0(M)), and that this homeomorphism restricts to the maximal spectra. The proof is organized by cases: locally compact sets via a Lojasiewicz Nullstellensatz for S^r-functions (Theorem 3.2), general sets via a weak Nullstellensatz and direct limits, and bounded functions via Nash approximation. The paper further proves Theorem 1.4, that the residue field of every prime ideal of S^{r⋄}(M) is real closed, and proposes in Section 5 that S^{r⋄}(M) satisfies all conditions of Schwartz's definition of a real closed ring except the sum of radical ideals being radical. It also compares S^∞(M) with the ring of Nash functions N(M), proving local Nashness of S^∞ functions and a criterion for equality on coherent Nash sets.

Significance. If the main results are correct, the paper gives a substantial and surprising rigidity theorem: the Zariski and maximal spectra of the rings of C^r semialgebraic functions are independent of r and coincide with those of the real closed ring S^0(M). The explicit inverse √(qS^0(M)) is valuable, and the consequences—Gelfand property, Krull dimension equal to dim(M), homeomorphic maximal spectra—are natural and strong. The proof strategy is coherent: it rests on the known o-minimal Whitney extension theorem of Thamrongthanyalak (Fact 2.4), the authors' earlier work on rings of semialgebraic functions, Schwartz's real closed ring theory, and Nash approximation. I do not share the reader's doubt about Fact 2.4; it is a standard external result, not a source of circularity. The direct-limit presentation and the brimming-completion argument in Section 4 are careful and detailed. However, one advertised consequence in Section 5, namely that S^{r⋄}(M) satisfies condition (iii.a) of Definition 5.1, is not established by the proof given.

major comments (1)
  1. [§5.A, Corollary 5.9] The proof of Corollary 5.9 contains the sentence 'Condition (iii.a) follows from Theorem 1.4.' This is not sufficient. Theorem 1.4 states that the inclusion S^{r⋄}(M)/q → S^{0⋄}(M)/p induces an isomorphism of fraction fields, so that κ(q) is real closed. But condition (iii.a) of Definition 5.1 also requires that S^{r⋄}(M)/q be integrally closed in that real closed fraction field. Equality of fraction fields does not imply integral closedness. For example, in a non-archimedean real closed field K with convex-hull valuation ring O=R+M and maximal ideal M, the subring R+M^2 has fraction field K but is not integrally closed: any x∈M∖(R+M^2) satisfies the monic equation X^2−x^2=0 with x^2∈R+M^2. The proof of Corollary 5.9 supplies no supplementary argument that this pathology cannot occur for S^{r⋄}(M)/q. Consequently, the advertised conclusion that S^{r⋄}(M) satisfies conditions (i)–(iii) of Definition 5.1 and fails only property (iv) is not established. This does not invalidate Theorem 1.2, but it weakens the real-closed-ring interpretation of the spectra homeomorphism. Please either prove integral closedness of S^{r⋄}(M)/q in κ(q) or restate the claim to assert exactly what the proof supports.
minor comments (4)
  1. [Throughout] The text contains many stray '/suppress' tokens, for example in the abstract, in Theorem 1.3, in the headings of Section 3.A, and in the bibliography entries for Lojasiewicz, Pawłucki, and the project title. These appear to be text-extraction artifacts and should be removed before publication.
  2. [§1, Theorem 1.3] The Introduction's statement of the Lojasiewicz Nullstellensatz uses Z(f)⊂Z(g), while the later Theorem 3.2 uses Z(f1)⊂Z(f2) with the same meaning; this is harmless but the notation should be unified for readability.
  3. [§5.B, Lemma 5.11] In the proof of Lemma 5.11, the transition from formal power series to Nash germs via Artin approximation is compressed; a short sentence explaining why the system to which Artin approximation is applied is algebraic over R[x] would help the reader.
  4. [§2.A, Definition 2.2] The definition of S^r-functions via jets relies on a choice of semialgebraic jet; Remark 2.5 correctly notes non-uniqueness, but it would be useful to state explicitly that S^r(M) is defined as the set of functions admitting at least one such jet.

Circularity Check

0 steps flagged · score 1.0 of 10

Central spectral results are derived from external o-minimal Whitney extension and real-closed-ring theory; no circular reduction found.

full rationale

Walking the derivation chain: Theorem 1.2 (the Zariski/maximal spectra homeomorphism between S^r⋄(M) and S^0⋄(M)) is proved directly from the Lojasiewicz Nullstellensatz for S^r functions (Theorem 3.2 and Proposition 3.7), which in turn uses the external o-minimal Whitney extension theorem of Thamrongthanyalak (Fact 2.4). The S^{r*} case reduces to the S^r case via localizations and Nash approximation from [BCR], with no fitted parameter renamed as a prediction. Theorem 1.4 (residue fields are real closed) follows from the locally compact case, brimming completions, and Schwartz's direct-limit theorem; again, no claim is defined in terms of its target. The skeptical concern about Corollary 5.9 is a proof gap rather than circularity: the paper says 'Condition (iii.a) follows from Theorem 1.4,' but Theorem 1.4 establishes only that the fraction field of S^r(M)/q is real closed, not that S^r(M)/q is integrally closed in that fraction field. This weakens an auxiliary interpretation but does not make the main spectral theorem circular. The paper does cite the authors' earlier work ([Fe2], [FG6], [FGR], [FG2]) for auxiliary structural facts (e.g., S(M)=S^0(M) for two-dimensional non-problematic sets, semialgebraic depth bounds, Nash manifold decompositions, Nash-set characterizations), but these are published, externally checkable results and are not fitted inputs. Fact 5.4 uses [FG2] and [FGR] to show S^0(X) is the real closure of N(X), but this supports only the S^∞ comparisons (Theorem 1.5, Proposition 1.6), not Theorem 1.2. No load-bearing circular step is exhibited, so the appropriate finding is no significant circularity; the score of 1 reflects only the presence of minor self-citations in auxiliary sections.

Assumptions & free parameters 0 free parameters · 8 assumptions · 2 invented entities

No free parameters: the paper fits nothing to data and introduces no empirical constants; all constants are structural. The axioms are published background: the o-minimal Whitney extension theorem (Fact 2.4), Schwartz's real closed ring theory ([S2,S4,S6]), Carral-Coste spectral lattice results ([CC]), the Nash decomposition theorem of the authors' own [FGR,(2.4.2)], Delfs-Knebusch separation ([DK1]), and Nash and Artin approximation ([BCR]). One entry is a framing choice: the jet definition of S^r-functions. The two invented-entity entries are explicit proof-technical definitions (problematic point, brimming completion); they are fully specified and internally verified, so they are not hidden postulates. The heaviest external load is Fact 2.4 and the [S4] real closure machinery.

assumptions (8)
  • standard math O-minimal Whitney extension (Fact 2.4, [Th], [KP2]): S^r-functions on closed semialgebraic sets with semialgebraic jets satisfying condition 2.A.1 extend to S^r(R^m).
    Bridge for Corollary 2.12, Theorem 3.2, and Lemma 4.2; without it the locally compact reduction fails.
  • standard math Schwartz's real closed ring theory ([S2], [S4], [S6]): existence and universal property of rcl(A); direct limits of real closed rings are real closed; S^0(R^n) = rcl(R[x]); S^0(M) is real closed.
    Machinery behind Section 5, including Proposition 5.7 and Facts 5.4 through 5.6.
  • standard math Carral-Coste theorem ([CC], [S4], [S6], [FG6]): the lattice of quasi-compact open subsets of Spec(S^0*(N)) is the lattice of open semialgebraic subsets of N, and dim S^0*(N) = dim N.
    Used in Corollary 3.11; the authors note the locally compact case of Theorem 1.2 follows from this.
  • standard math Nash decomposition of pure-dimensional semialgebraic sets ([FGR, (2.4.2)]): a finite disjoint union of Nash manifolds on which a given semialgebraic function is Nash.
    Load-bearing in Lemma 4.2 for the locally compact case of Theorem 1.4.
  • standard math Delfs-Knebusch separation and retraction ([DK1]): locally compact semialgebraic M is a semialgebraic retract of an open neighborhood; restriction S(M) to S(T) is surjective for closed T.
    Used in Lemma 2.12, Proposition 2.15, and the proof of Theorem 1.1.
  • standard math Nash approximation of continuous semialgebraic functions ([BCR, Thm.8.8.4]) and Artin approximation ([BCR, Thm.8.3.1]).
    Nash approximation is the engine of the S^{r*} case of Theorem 1.2 (Lemma 3.9); Artin approximation is used in Lemma 5.11.
  • domain assumption The jet definition of S^r functions (Definition 2.2, after [ATh] and [Th]) is the operative notion of C^r semialgebraic function on non-open sets, coinciding with the classical notion on open sets (Remark 2.3(ii)).
    Every main theorem is stated for this notion; results transfer to the classical notion only on open semialgebraic sets.
  • standard math [S4, §1.Cor.3.26]: for p in Spec(S^0*(M)), the fraction field kappa(p) is real closed.
    Used as the final step of Theorem 1.4 in the locally compact case.
invented entities (2)
  • Problematic point (Definition in Section 2, used in Theorem 1.1)
    purpose: A point x of a semialgebraic set M such that there are points of cl(M) converging to x whose germs are disconnected; used to characterize when S^0*(M) equals S^*(M).
    Explicit mathematical definition whose properties are proved internally (Proposition 2.15 and Theorem 1.1). It is not a postulate with hidden content, so it carries no circularity burden; independent_evidence is false only because definitions have no external falsifiable handle.
  • Brimming S^{r*}-completion (Lemma 4.7)
    purpose: A completion (E,j) of M such that kappa(q) = kappa(q_E) for a given prime q; used to reduce residue-field results from arbitrary M to the locally compact case.
    Fully specified construction whose existence is proved in Lemma 4.7. It is a proof-technical device, not an entity with unstated assumptions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rings of differentiable semialgebraic functions." pith.science (2026). https://pith.science/paper/DYFR4UTQ

@misc{pith2026190807257,
  author       = {Pith},
  title        = {Pith review of: Rings of differentiable semialgebraic functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DYFR4UTQ}},
  note         = {Machine review of arXiv:1908.07257}
}
abstract

In this work we analyze the main properties of the Zariski and maximal spectra of the ring ${\mathcal S}^r(M)$ of differentiable semialgebraic functions of class ${\mathcal C}^r$ on a semialgebraic set $M\subset\mathbb{R}^m$. Denote ${\mathcal S}^0(M)$ the ring of semialgebraic functions on $M$ that admit a continuous extension to an open semialgebraic neighborhood of $M$ in $\text{cl}(M)$. This ring is the real closure of ${\mathcal S}^r(M)$. If $M$ is locally compact, the ring ${\mathcal S}^r(M)$ enjoys a Lojasiewicz's Nullstellensatz, which becomes a crucial tool. Despite ${\mathcal S}^r(M)$ is not real closed for $r\geq1$, the Zariski and maximal spectra of this ring are homeomorphic to the corresponding ones of the real closed ring ${\mathcal S}^0(M)$. In addition, the quotients of ${\mathcal S}^r(M)$ by its prime ideals have real closed fields of fractions, so the ring ${\mathcal S}^r(M)$ is close to be real closed. The missing property is that the sum of two radical ideals needs not to be a radical ideal. The homeomorphism between the spectra of ${\mathcal S}^r(M)$ and ${\mathcal S}^0(M)$ guarantee that all the properties of these rings that arise from spectra are the same for both rings. For instance, the ring ${\mathcal S}^r(M)$ is a Gelfand ring and its Krull dimension is equal to $\dim(M)$. We also show similar properties for the ring ${\mathcal S}^{r*}(M)$ of differentiable bounded semialgebraic functions. In addition, we confront the ring ${\mathcal S}^{\infty}(M)$ of differentiable semialgebraic functions of class ${\mathcal C}^{\infty}$ with the ring ${\mathcal N}(M)$ of Nash functions on $M$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Atiyah, I.G

    M.F. Atiyah, I.G. Macdonald: Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. (1969)

    work page 1969

  2. [2]

    Aschenbrenner, A

    M. Aschenbrenner, A. Thamrongthanyalak: Whitney's extension problem in o-minimal structures. Rev. Mat. Iberoam. (2019), to appear. http://www.math.ucla.edu/ matthias/pdf/Whitney.pdf

    work page 2019

  3. [3]

    Bkouche: Couples spectraux et faisceaux associ\'es

    R. Bkouche: Couples spectraux et faisceaux associ\'es. Applications aux anneaux de fonctions. Bull. Soc. Math. France 98 (1970), 253--295

    work page 1970

  4. [4]

    Bochnak, M

    J. Bochnak, M. Coste, M.-F. Roy: Real algebraic geometry. Ergeb. Math. 36 , Springer-Verlag, Berlin (1998)

    work page 1998

  5. [5]

    Baro, J.F

    E. Baro, J.F. Fernando, J.M. Ruiz: Approximation on Nash sets with monomial singularities. Adv. Math. 262 (2014), 59--114

    work page 2014

  6. [6]

    Carral, M

    M. Carral, M. Coste: Normal spectral spaces and their dimensions. J. Pure Appl. Algebra 30 (1983) 227--235

    work page 1983

  7. [7]

    Cherlin, M.A

    G.L. Cherlin, M.A. Dickmann: Real closed rings. I. Residue rings of rings of continuous functions. Fund. Math. 126 (1986), no. 2, 147--183

    work page 1986

  8. [8]

    Cherlin, M.A

    G.L. Cherlin, M.A. Dickmann: Real closed rings. II. Model theory. Ann. Pure Appl. Logic 25 (1983), no. 3, 213--231

    work page 1983

Show all 45 references
  1. [9]

    Delfs, M

    H. Delfs, M. Knebusch: Separation, Retractions and homotopy extension in semialgebraic spaces. Pacific J. Math. 114 (1984), no. 1, 47--71

    1984

  2. [10]

    Delfs, M

    H. Delfs, M. Knebusch: Locally semialgebraic spaces. Lecture Notes in Mathematics , 1173 . Springer-Verlag, Berlin (1985)

    1985

  3. [11]

    Efroymson: The extension theorem for Nash functions

    G. Efroymson: The extension theorem for Nash functions. Real algebraic geometry and quadratic forms (Rennes, 1981), pp. 343--357, Lecture Notes in Math. , 959 , Springer, Berlin-New York (1982)

    1982

  4. [12]

    Fefferman: Whitney's Extension Problem for C^m

    C. Fefferman: Whitney's Extension Problem for C^m . Ann. of Math. 164 (2006), no. 1, 313--359

    2006

  5. [13]

    Fefferman: Whitney's extension problems and interpolation of data

    C. Fefferman: Whitney's extension problems and interpolation of data. Bull. Amer. Math. Soc. 46 (2009), no. 2, 207--220

    2009

  6. [14]

    Fernando: On chains of prime ideals in rings of semialgebraic functions

    J.F. Fernando: On chains of prime ideals in rings of semialgebraic functions. Q. J. Math. 65 (2014), no. 3, 893--930

    2014

  7. [15]

    Fernando: On the substitution theorem for rings of semialgebraic functions

    J.F. Fernando: On the substitution theorem for rings of semialgebraic functions. J. Inst. Math. Jussieu 14 (2015), no. 4, 857--894

    2015

  8. [16]

    Fernando: On the size of the fibers of spectral maps induced by semialgebraic embeddings

    J.F. Fernando: On the size of the fibers of spectral maps induced by semialgebraic embeddings. Math. Nachr. 289 (2016), no. 14-15, 1760--1791

    2016

  9. [17]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On open and closed morphisms between semialgebraic sets. Proc. Amer. Math. Soc. 140 (2012), no. 4, 1207--1219

    2012

  10. [18]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On the irreducible components of a semialgebraic set. Internat. J. Math. 23 (2012), no. 4, 1250031

    2012

  11. [19]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On the spectra of rings of semialgebraic functions. Collect. Math. 63 (2012), no. 3, 299--331

    2012

  12. [20]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On the semialgebraic Stone-- C ech compactification of a semialgebraic set. Trans. Amer. Math. Soc 364 (2012), no. 7, 3479--3511

    2012

  13. [21]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On ojasiewicz's inequality and the Nullstellensatz for rings of semialgebraic functions. J. Algebra 399 (2014), 475--488

    2014

  14. [22]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On the Krull dimension of rings of continuous semialgebraic functions. Rev. Mat. Iberoam. 31 (2015), no. 3, 753--756

    2015

  15. [23]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa: On the remainder of the semialgebraic Stone-Cech compactification of a semialgebraic set. J. Pure Appl. Algebra 222 (2018), no. 1, 1--18

    2018

  16. [24]

    Fernando, J.M

    J.F. Fernando, J.M. Gamboa, J.M. Ruiz: Finiteness problems on Nash manifolds and Nash sets. J. Eur. Math. Soc. (JEMS) 16 (2014) no. 3, 537--570

    2014

  17. [25]

    Fernando, R

    J.F. Fernando, R. Ghiloni: On the extension property for global analytic sets and Nash sets. Preprint RAAG . (2019)

    2019

  18. [26]

    Kurdyka, W

    K. Kurdyka, W. Paw ucki: Subanalytic version of Whitney's extension theorem. Studia Math. 124 (1997), no. 3, 269--280

    1997

  19. [27]

    Kurdyka, W

    K. Kurdyka, W. Paw ucki: O-minimal version of Whitney's extension theorem. Studia Math. 224 (2014), no. 1, 81--96

    2014

  20. [28]

    Henriksen, M

    M. Henriksen, M. Jerison: The space of minimal prime ideals of a commutative ring. Trans. Amer. Math. Soc. 115 (1965), 110--130

    1965

  21. [29]

    Malgrange: Ideals of differentiable functions

    B. Malgrange: Ideals of differentiable functions. Tata Institute of Fundamental Research Studies in Mathematics , no. 3. Tata Institute of Fundamental Research, Bombay; Oxford University Press, London (1967)

    1967

  22. [30]

    Prestel, N

    A. Prestel, N. Schwartz: Model theory of real closed rings. Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 261--290, Fields Inst. Commun. , 32 , Amer. Math. Soc., Providence, RI, 2002

    1999

  23. [31]

    Schwartz: Real closed rings

    N. Schwartz: Real closed rings. Habilitationsschrift , M\"unchen (1984)

    1984

  24. [32]

    Schwartz: Real closed rings

    N. Schwartz: Real closed rings. Algebra and order (Luminy-Marseille, 1984), 175--194, Res. Exp. Math. , 14 , Heldermann, Berlin (1986)

    1986

  25. [33]

    at f\"ur Mathematik der Universit\

    N. Schwartz: The Basic Theory of Real Closed Spaces. Regensburger Math. Schriften, 15 , Fakult\"at f\"ur Mathematik der Universit\"at, Regensburg (1987)

    1987

  26. [34]

    Schwartz: The basic theory of real closed spaces

    N. Schwartz: The basic theory of real closed spaces. Mem. Amer. Math. Soc. 77 (1989), no. 397

    1989

  27. [35]

    Schwartz: Rings of continuous functions as real closed rings

    N. Schwartz: Rings of continuous functions as real closed rings. Ordered algebraic structures (Cura c ao, 1995), 277--313, Kluwer Acad. Publ., Dordrecht (1997)

    1997

  28. [36]

    Schwartz: Epimorphic extensions and Pr\"ufer extensions of partially ordered rings

    N. Schwartz: Epimorphic extensions and Pr\"ufer extensions of partially ordered rings. Manuscripta Math. 102 (2000), 347--381

    2000

  29. [37]

    Schwartz: Convex Extensions of Partially Ordered Rings

    N. Schwartz: Convex Extensions of Partially Ordered Rings. A series of lectures given at the conference ``G\'eom\'etrie alg\'ebrique et analytique r\'eelle'' , Kenitra, Morocco, September 13--20, 2004

    2004

  30. [38]

    Schwartz, J.J

    N. Schwartz, J.J. Madden: Semi-algebraic function rings and reflectors of partially ordered rings. Lecture Notes in Mathematics , 1712 . Springer-Verlag, Berlin (1999)

    1999

  31. [39]

    Schwartz, M

    N. Schwartz, M. Tressl: Elementary properties of minimal and maximal points in Zariski spectra. J. Algebra 323 (2010), no. 3, 698--728

    2010

  32. [40]

    Shiota: Nash manifolds

    M. Shiota: Nash manifolds. Lecture Notes in Math. , 1269 . Springer-Verlag, Berlin (1987)

    1987

  33. [41]

    Thamrongthanyalak: Whitney's Extension Theorem in o-minimal structures, Ann

    A. Thamrongthanyalak: Whitney's Extension Theorem in o-minimal structures, Ann. Polon. Math. 119 (2017), no. 1, 49--67

    2017

  34. [42]

    Tressl: The real spectrum of continuous definable functions in o-minimal structures

    M. Tressl: The real spectrum of continuous definable functions in o-minimal structures. S\'eminaire de Structures Alg\'ebriques Ordonn\'ees 1997-1998, 68 , Mars 1999, p. 1--15

    1997

  35. [43]

    Tressl: Super real closed rings

    M. Tressl: Super real closed rings. Fund. Math. 194 (2007), no. 2, 121--177

    2007

  36. [44]

    Tressl: Bounded super real closed rings

    M. Tressl: Bounded super real closed rings. Logic Colloquium 2007, 220--237, Lect. Notes Log. , 35 , Assoc. Symbol. Logic, La Jolla, CA, (2010)

    2010

  37. [45]

    Van den Dries, C

    L. Van den Dries, C. Miller: Geometrical categories and o-minimal structures. Duke Math. J. 84 (1996), 497--539

    1996

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.