Pith. sign in

REVIEW 3 major objections 4 minor 41 references

Strong stratifications and uniform Yomdin-Gromov parametrizations in valued fields with analytic structure

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Uniform Yomdin–Gromov parametrizations with controlled chart counts are proved for all equicharacteristic zero valued fields with analytic structure.

desk verdict Genuinely new uniform Yomdin-Gromov parametrizations for analytic valued fields, but the proof leans on an unjustified assumption that T_A is 1-h-minimal. read the letter →

arxiv 2505.19814 v4 pith:SEK2YPCV submitted 2025-05-26 math.LO math.AG

Krzysztof Jan Nowak This is my paper · ORCID
classification math.LOmath.AG MSC 14B0532S4532S6003C9832B2032P0514G2203C10
keywords Yomdin–GromovparametrizationsvaluedfieldsanalyticstructuresstrongstratificationdesingularizationHenselminimalitytermdescriptiondefinablesets
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 every definable subset of a valued field with analytic structure can be stratified into finitely many smooth pieces and uniformly parametrized by 1-Lipschitz maps given by explicit terms. From this it derives Yomdin–Gromov parametrizations of any order r for definable families, with the number of charts bounded by a constant s(X) times b_r^m, where b_r is the size of the r-th congruence invariant of the leading-term group RV. A sympathetic reader should care because these parametrizations are the standard engine for counting rational points of bounded height and for transferring classical Yomdin–Gromov estimates from real and p-adic settings to all equicharacteristic zero Henselian valued fields with separated analytic structure.

What carries the argument

The central objects are strong stratifications: a definable set X is written as a finite disjoint union of strong analytic submanifolds S_k = sigma_k(W_k), where each sigma_k is a multi-blowup with smooth centers and W_k is a strong analytic submanifold of a T-analytic manifold minus the exceptional divisor. These strata come from a definable non-Archimedean version of Bierstone–Milman's canonical desingularization. The companion mechanism is term description: after adjoining very limited algebraic Skolem functions for roots and for polynomial equations in the residue-field sort, every definable function is expressed piecewise by Henselian terms, i.e. terms built from analytic functions, Henselian witness functions, and rv-constant coefficients on cells. The Lipschitz cell decomposition with Henselian-term centers then turns these terms into 1-Lipschitz parametrizations of cells, and precomposing with powers upgrades them to T^r-parametrizations.

What would settle it

Concretely, one could try to construct a definable family in a model of T_A whose RV-parametrized fibers do not admit any finite Lipschitz cell decomposition with Henselian-term centers, or exhibit an RV-expansion of a T_A model that breaks Hensel minimality; either would collapse the cell decomposition and hence Theorem 6.1. A more targeted check is whether separated analytic structures satisfy the 1-h-minimality axioms from [10].

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.4: for every L_A-definable family X_w of subsets of O_K^n of dimension m over a model K of T_A, and every positive integer r, if the congruence invariant b_r = [r]RV(K) is finite, then the family admits a uniform T^r-parametrization with at most s(X) b_r^m maps, where s(X) depends only on the family and not on w. The proof builds a strong analytic stratification of definable sets using a definable, non-Archimedean adaptation of the Bierstone–Milman canonical desingularization by blowing up smooth centers. It then establishes a term description of definable functions after adding only algebraic Skolem functions for roots and Henselian witnesses, which yields piecewise representations by Henselian terms with good Lipschitz behavior. In the discrete-valuation case, the stratification is used to transfer a parametrization from the algebraic closure back to the ground field; in all cases the final T^r-parametrization is obtained by precomposing strong $T^{1}$-maps with r-th powers and applying Cauchy estimates.

Load-bearing premise

The proof assumes that the analytic-structure theory T_A is 1-h-minimal, so that the Lipschitz cell decomposition preparing RV-parametrized sets and the resplendency property under RV-expansions hold; this property is imported from earlier references and is never proved in the paper.

Editorial extensions

If this is right

  • Uniform T^r-parametrizations with an explicit chart-count estimate hold for every equicharacteristic zero Henselian valued field with separated analytic structure, generalizing the discretely valued and local-field cases.
  • The number of charts in the parametrization grows at most like a family-dependent constant times b_r^m, so the dependence on the smoothness order r and dimension m is explicit and uniform in definable families.
  • If the prime invariant [p]RV(K) is finite, the same conclusion holds with b_r replaced by [p]RV(K), and the estimate becomes s(X) times ([p]RV(K))^{lm} with r < p^l.
  • The strong stratification itself provides a piecewise-smooth, one-to-one parametrization of definable sets by multi-blowups, which is a new structural tool for dimension theory and for counting points of bounded height in analytic valued fields.

Reading between the lines

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

  • If the needed Hensel-minimality property is verified for T_A, the same parametrization scheme would likely work in any 1-h-minimal structure, suggesting that Yomdin–Gromov parametrizations are a general phenomenon of tame valued fields rather than a special feature of analytic structures.
  • The finite-congruence condition appears necessary rather than merely technical: without finiteness of b_r or [p]RV(K), the paper only obtains parametrizations into infinitely many cosets of r-th powers, so quantitative rational-point counting would need a different invariant.
  • A natural testable extension is to mixed-characteristic Hensel minimal fields; the analytic-stratification machinery would have to be rebuilt, but the term-description and power-precomposition steps may transfer.
  • The stratification-based transfer from the algebraic closure to the ground field in the discrete case could be formulated as a general principle: finite-to-one projections of smoothly parametrized sets inherit uniform parametrizations under suitable Lipschitz conditions.
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

3 major / 4 minor

Summary. The paper develops strong analytic stratifications and a term description of definable functions over Henselian valued fields of equicharacteristic zero with separated analytic structure, and applies them to prove uniform Yomdin–Gromov parametrizations. The central tool chain is: desingularization of terms (Section 4), term structure after algebraic Skolemization (Section 5), Lipschitz cell decomposition with Henselian term centers (Theorem 5.5, Proposition 5.8), and then strong T^1-parametrization (Theorem 6.1), from which T^r-parametrizations with a quantitative bound on the number of charts are derived (Theorem 6.4). The main theorem claims that for every L_A-definable family X_w of subsets of O_K^n of dimension m, if the congruence invariant b_r = [r]RV(K) is finite, then there are finitely many definable maps f_{w,i}: O_K^m -> X_w satisfying T^r-approximation, with the number of maps bounded by s(X) * b_r^m, uniformly in w.

Significance. If the technical gaps identified below are closed, the paper would significantly extend the Cluckers–Forey–Loeser parametrization theorem from the settings of complete discretely valued fields and local fields to arbitrary equicharacteristic zero Henselian fields with separated analytic structure. The strong stratification theorem (Theorem 4.5) and the term-description results (Proposition 5.4, Theorem 5.5) are valuable tools in their own right, and the explicit dependence of the number of charts on the congruence invariant is a useful quantitative feature. The paper is honest about the origin of many ingredients, citing the author's own desingularization work [28] and the Hensel-minimality framework [10,30]. However, the central proof depends on an unstated and unproved assumption that the theory T_A is 1-h-minimal; this is a load-bearing gap, not a cosmetic one.

major comments (3)
  1. [Section 2, Theorem 2.1; Section 5, Theorem 5.5; Section 6, Theorem 6.1] Theorem 2.1 (Lipschitz cell decomposition preparing RV-parametrized sets) is stated to hold in any 1-h-minimal structure, and it is later applied to L^†_A-definable sets after RV and Skolem expansions. However, the paper never proves or cites that the theory T_A of separated analytic structures is 1-h-minimal. The resplendency property invoked in Proposition 5.3 and Remark 4.6 only preserves Hensel minimality under RV-expansions once the base theory is already 1-h-minimal. This assumption is load-bearing: Theorem 5.5, Proposition 5.8, Corollary 5.9, and Theorem 6.1 all rely on Theorem 2.1, and Theorem 6.4 is built on this chain. The closing remark of Section 6, noting that Yomdin–Gromov parametrizations in general Hensel minimal structures are 'a problem unsolved as yet,' further indicates that this is not an established fact. The author must either supply a proof or a precise reference that T_A is 1-h-minimal, or replace Theorem 2.1 with a cell decomposition theorem proved directly for T_A.
  2. [Section 6, proof of Theorem 6.1, case (V2)] The proof of the strong T^1-parametrization in the discrete value-group case is only an outline. After the strong stratification is invoked, the text asserts: 'Making use of Propositions 5.8 and 5.6, throwing away pieces of lower dimension and treating them by induction, we can assume that M' is the graph of a tuple of 1-Lipschitz Henselian L^*_A-terms over an open cell P' in K^m_alg with centers given by 1-Lipschitz Henselian terms.' This step is not justified in detail: it passes from a finite cell decomposition to a single global graph representation, and the inductive dimension reduction is described only in words. Since Theorem 6.1 is the key to the main theorem, this transition needs a complete proof. The subsequent uniformity over the family via a 'routine model-theoretic compactness argument' should also be made explicit, because the stratification and term description are themselves asserted to be uniform in models and in definable families.
  3. [Section 6, passage from T^1 to T^r (after Lemma 6.3)] The paper states that the Cauchy-estimate arguments of [8,9] 'carry over verbatim' to the present general setting, and that the supremum norm on boxes over K equals the Gauss norm under conditions on the residue field and value group. This is a non-trivial analytic claim, especially for non-algebraically-closed K and for the boxes B^as over the algebraic closure used in the definition of strong T^1-approximation in case (V2). The author should spell out the exact hypotheses and provide the required verification, rather than referring only to [13, Remark 5.2.8] and to [8,9].
minor comments (4)
  1. [Throughout] The manuscript contains numerous typos and grammatical errors that should be corrected, e.g., 'Slolemization' for 'Skolemization' in Section 5, 'finetely' for 'finitely' in the proof of Theorem 5.5, 'firelds' in reference [9], 'transendental' and 'Vemeulen' in reference [39], and inconsistent use of 'parametrized' vs. 'parameterized'.
  2. [Section 5, paragraph before Proposition 5.8] The definition of 'Henselian terms' appears in a paragraph beginning 'We shall still need the concept of K-valued Henselian terms...' and is not presented as a numbered definition, which makes it easy to miss. It would help to give it a displayed definition, especially because it is used crucially in Proposition 5.8 and in the definition of strong T^1-approximation.
  3. [Section 2, paragraph on the analytic structure] The sentence 'For the theory of analytic structures, the reader is referred to.' is incomplete; it should cite [13] and [14] as intended.
  4. [Section 6, definition of T^r-approximation] The phrase 'for each a in P there is an n-tuple T^{<r}_{f,a} of (unique) polynomials' is confusing: uniqueness is not a property of existence, and the notation T^{<r}_{f,a} is not defined as a tuple before being used. Please clarify.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the Yomdin-Gromov theorem uses the author's earlier desingularization [28] and external Hensel-minimality results as tools; the cited self-citations and the unstated 1-h-minimality of T_A are caveats, not definitional reductions.

full rationale

The central derivation is not circular in the sense of the rubric. There are no fitted inputs renamed as predictions: the uniformity parameter s=s(X) and the chart count s·b_r^m in Theorem 6.4 come from model-theoretic compactness and the finiteness assumption on b_r=[r]RV(K), not from fitting the target quantity. The main proof chain (Theorems 5.5, 5.8, 6.1, 6.4) uses Lipschitz cell decomposition from [10], term structure from [12,13], and the author's definable desingularization from [28]. The reliance on [28] and [30] is load-bearing but not circular: these are previously published, externally checkable results with content distinct from the final Yomdin-Gromov parametrization theorem. The most serious caveat is that Theorem 2.1 is invoked for T_A via 1-h-minimality, while the paper does not explicitly prove or cite that T_A is 1-h-minimal; this is a potential gap or an omitted justification, but it is an external condition and not a self-definitional reduction. The reviewer's skeptical reading correctly identifies the missing support, but missing support is a correctness risk, not a circularity. Accordingly, the score is 2 for the minor self-citation/imported-assumption burden, not for an actual circular step.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numeric parameters are fitted; this is a pure mathematics paper. The axioms are all imported from the cited literature (quantifier elimination, term structure, Hensel minimality, desingularization, closedness theorem) or are classical facts from rigid analytic geometry. No new physical entities are postulated; the new mathematical notions (T-subdomains, T-analytic manifolds, Henselian terms) are definitions rather than entities with independent evidence requirements.

assumptions (6)
  • domain assumption The theory T_A of Henselian, non-trivially valued fields of equicharacteristic zero with separated analytic A-structure is 1-h-minimal (Hensel minimal).
    Needed for Theorem 2.1 (Lipschitz cell decomposition preparing RV-parametrized sets), quoted from [10, Theorem 5.2.4]; also for resplendency under RV-expansions. Not proved in this paper.
  • domain assumption T_A admits elimination of valued field quantifiers in the language L_A.
    Quoted from [13, Theorem 6.3.7] in Section 2; used to represent every definable set as a term-defined set with RV conditions.
  • domain assumption Definable functions in models of T_A have term structure f(x)=t(x,g(x)) with t an L*_A-term and g:X to RV^N.
    The paper's Theorem 5.1, attributed to [12, Section 7] and [13, Theorem 6.3.8]; central to the algebraic Skolemization argument in Proposition 5.4.
  • domain assumption The definable non-Archimedean desingularization algorithm from the author's earlier paper [28] transforms strong analytic functions to normal crossings on strong analytic manifolds.
    Used in Section 3 to obtain strong stratifications of analytic sets (Proposition 3.5) and for desingularization of D-functions in Theorem 4.2. The proof is not repeated here.
  • standard math The rings A-dagger_{0,n}(K) of global analytic functions in one kind of variable are Noetherian, factorial, normal and excellent.
    Stated in Section 2 as classical Weierstrass-Ruckert theory (see [13, Section 5.2] and [7, Section 5.2]); needed so that canonical desingularization can be applied to polydiscs.
  • domain assumption The closedness theorem holds for Hensel minimal structures on equicharacteristic zero fields, giving that multi-blowup maps are definably closed and homeomorphisms off exceptional divisors.
    Cited from [30, Theorem 1.3] in Section 2 and used in Section 4 to justify that stratifying the exceptional divisor is enough.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Strong stratifications and uniform Yomdin-Gromov parametrizations in valued fields with analytic structure." pith.science (2026). https://pith.science/paper/SEK2YPCV

@misc{pith2026250519814,
  author       = {Pith},
  title        = {Pith review of: Strong stratifications and uniform Yomdin-Gromov parametrizations in valued fields with analytic structure},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SEK2YPCV}},
  note         = {Machine review of arXiv:2505.19814}
}
abstract

The paper concerns uniform Yomdin-Gromov parametrizations together with an estimate of their number, which generalizes a theorem by Cluckers-Forey-Loeser to arbitrary equicharacteristic zero valued fields with analytic structure. To this end, we establish a certain strong analytic stratification of definable sets, based on a definable non-Archimedean version of Bierstone-Milman's canonical desingularization algorithm from our earlier paper. Other basic tools are: elimination of valued field quantifiers, term description of functions definable in analytic structures, and Lipschitz cell decomposition compatible with $RV$-parametrized sets in Hensel minimal structures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 40 canonical work pages

  1. [28]

    Nowak,Definable transformation to normal crossings over Henselian fields with separated analytic structure, Symmetry11(7) (2019), 934

    K.J. Nowak,Definable transformation to normal crossings over Henselian fields with separated analytic structure, Symmetry11(7) (2019), 934

    work page 2019

  2. [1]

    Basarab,Relative elimination of quantifiers for Henselian valued fields, Ann

    S.A. Basarab,Relative elimination of quantifiers for Henselian valued fields, Ann. Pure Appl. Logic53(1991), 51–74

    work page 1991

  3. [2]

    Bertram, H

    W. Bertram, H. Gl¨ ockner, K.-H. Noeb,Differential calculus over general base fields and rings, Expo. Math.22(2004), 213–282

    work page 2004

  4. [3]

    Binyamini, D

    G. Binyamini, D. Novikov,Complex cellular structures, Ann. Math.190 (2019), 145–248

    work page 2019

  5. [4]

    Binyamini, D

    G. Binyamini, D. Novikov,The Yomdin–Gromov algebraic lemma revisited, Arnold Math. J.7(2021), 419–430

    work page 2021

  6. [5]

    Bierstone, P.D Milman,Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Inventiones Math.128 (1997), 207–302

    E. Bierstone, P.D Milman,Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Inventiones Math.128 (1997), 207–302

    work page 1997

  7. [6]

    Bombieri, J

    E. Bombieri, J. Pila,The number of integral points on arcs and ovals, Duke Math. J.59(1989), 337–357

    work page 1989

  8. [7]

    Bosch, U

    S. Bosch, U. G¨ untzer, R. Remmert,Non-Archimedian Analysis: a system- atic approach to rigid analytic geometry, Grundlehren der math. Wiss.261, Springer-Verlag, Berlin, 1984

    work page 1984

Show all 41 references
  1. [8]

    Cluckers, G

    R. Cluckers, G. Comte, F. Loeser,Non-Archimedean Yomdin–Gromov parametrizations and points of bounded height, Forum Math. Pi,3(2015), e5

    2015

  2. [9]

    Cluckers, A

    R. Cluckers, A. Forey, F. Loeser,Uniform Yomdin–Gromov parametrizations and points of bounded height in valued firelds, Algebra Number Theory14 (2020), 1423–1456

    2020

  3. [10]

    Cluckers, I

    R. Cluckers, I. Halupczok, S. Rideau,Hensel minimality I, Forum Math. Pi, 10(2022), e11

    2022

  4. [11]

    Cluckers, I

    R. Cluckers, I. Halupczok, S. Rideau, F. Vermeulen,Hensel minimality II: Mixed characteristic and a diophantine application, Forum Math. Sigma,11 (2023), e89

    2023

  5. [12]

    Cluckers, L

    R. Cluckers, L. Lipshitz, Z. Robinson,Analytic cell decomposition and analytic motivic integration, Ann. Sci. ´Ecole Norm. Sup. (4)39(2006), 535–568

    2006

  6. [13]

    Cluckers, L

    R. Cluckers, L. Lipshitz,Fields with analytic structure, J. Eur. Math. Soc.13 (2011), 1147–1223

    2011

  7. [14]

    Cluckers, L

    R. Cluckers, L. Lipshitz,Strictly convergent analytic structures, J. Eur. Math. Soc.19(2017), 107–149

    2017

  8. [15]

    Cluckers, J

    R. Cluckers, J. Pila, A. Wilkie,Uniform parametrization of subanalytic sets and Diophantine applications, Ann. Sci. ´Ecole Norm. Sup. (4)53(2020), 1-42

    2020

  9. [16]

    Cohen,Decision procedures for real and p-adic fields, Comm

    P.J. Cohen,Decision procedures for real and p-adic fields, Comm. Pure Appl. Math.22(1969), 131–151

    1969

  10. [17]

    Denef,p-adic semi-algebraic sets and cell decomposition, J

    J. Denef,p-adic semi-algebraic sets and cell decomposition, J. Reine Angew. Math.369(1986), 154–166

    1986

  11. [18]

    Engel, A

    A.J. Engel, A. Prestel,Valued Fields, Springer-Verlag, Berlin, Heidelberg, 2005

    2005

  12. [19]

    Gromov,Entropy, homology and semialgebraic geometry, S´ em

    M. Gromov,Entropy, homology and semialgebraic geometry, S´ em. Bourbaki, Ast´ erisque145–146(1987), 225–240. STRATIFICATIONS, TERM DESCRIPTION AND APPLICATIONS 29

    1987

  13. [20]

    Keisler,Fundamentals of model theory; In:Handbook of Mathematical Logic, 47–103, Ed

    H.J. Keisler,Fundamentals of model theory; In:Handbook of Mathematical Logic, 47–103, Ed. J. Barwise, Studies in Logic and the Foundation of Math., Vol. 50, Elsevier, Amsterdam, 1977

    1977

  14. [21]

    Kocel-Cynk, W

    B. Kocel-Cynk, W. Paw lucki, A. Valette,C p-parametrization in o-minimal structures. Can. Math. Bull.62(2019), 99–108

    2019

  15. [22]

    Koll´ ar, K

    J. Koll´ ar, K. Nowak,Continuous rational functions on real andp-adic vari- eties, Math. Zeitschrift279(2015), 85–97

    2015

  16. [23]

    Lipshitz, Z

    L. Lipshitz, Z. Robinson,Rings of separated power series, Ast´ erisque264 (2000), 3–108

    2000

  17. [24]

    Lipshitz, Z

    L. Lipshitz, Z. Robinson,Model completeness and subanalytic sets, Ast´ erisque 264(2000), 109–126

    2000

  18. [25]

    Lipshitz, Z

    L. Lipshitz, Z. Robinson,Dimension theory and smooth stratification of rigid subanalytic sets; In: Logic Colloquium ’98, Lect. Notes Logic13(2000), Assoc. Symbolic Logic, 302–315

    2000

  19. [26]

    Lipshitz, Z

    L. Lipshitz, Z. Robinson,Uniform properties of rigid subanalytic sets, Trans. Amer. Math. Soc.357(2005), 4349–4377

    2005

  20. [27]

    Nowak,Some results of algebraic geometry over Henselian rank one valued fields, Sel

    K.J. Nowak,Some results of algebraic geometry over Henselian rank one valued fields, Sel. Math. New Ser.23(2017), 455–495

    2017

  21. [29]

    Nowak,A closedness theorem and applications in geometry of rational points over Henselian valued fields, J

    K.J. Nowak,A closedness theorem and applications in geometry of rational points over Henselian valued fields, J. Singul.21(2020), 212–233

    2020

  22. [30]

    Nowak,Tame topology in Hensel minimal structures, Ann

    K.J. Nowak,Tame topology in Hensel minimal structures, Ann. Pure Appl. Logic176(2025), 103540

    2025

  23. [31]

    N¨ ubling,Adding Skolem functions to simple theories, Arch

    H. N¨ ubling,Adding Skolem functions to simple theories, Arch. Math. Logic43 (2004), 359–370

    2004

  24. [32]

    Pas,Uniform p-adic cell decomposition and local zeta functions, J

    J. Pas,Uniform p-adic cell decomposition and local zeta functions, J. Reine Angew. Math.399(1989), 137–172

    1989

  25. [33]

    Pila,Density of integral and rational points on varieties, Ast´ erisque228 (1995), 183–187

    J. Pila,Density of integral and rational points on varieties, Ast´ erisque228 (1995), 183–187

    1995

  26. [34]

    Pila, A.J

    J. Pila, A.J. Wilkie,The rational points of a definable set, Duke Math. J.133 (2006), 591–616

    2006

  27. [35]

    Robinson, E

    A. Robinson, E. Zakon,Elementary properties of ordered abelian groups. Trans. Amer. Math. Soc.96(1960), 222–236

    1960

  28. [36]

    Scanlon,O-minimality as an approach to the Andr´ e–Oort conjecture, Panoramas & Synth` eses52(2017), 111–165

    T. Scanlon,O-minimality as an approach to the Andr´ e–Oort conjecture, Panoramas & Synth` eses52(2017), 111–165

    2017

  29. [37]

    Serre,Lie Algebras and Lie Groups; Lect

    J.P. Serre,Lie Algebras and Lie Groups; Lect. Notes Math., Vol. 1500, Springer, 1992

    1992

  30. [38]

    Temkin,Functorial desingularization overQ: boundaries and the embedded case, Israel J

    M. Temkin,Functorial desingularization overQ: boundaries and the embedded case, Israel J. Math.224(2018), 455–504

    2018

  31. [39]

    Vemeulen,Counting rational points on transendental curves in valued fields, arXiv:2506.19411 [math.NT]

    F. Vemeulen,Counting rational points on transendental curves in valued fields, arXiv:2506.19411 [math.NT]

    arXiv

  32. [40]

    Yomdin,Volume growth and entropy, Israel J

    Y. Yomdin,Volume growth and entropy, Israel J. Math.57(1987), 285–300

    1987

  33. [41]

    Yomdin,C k-resolution of semialgebraic mappings

    Y. Yomdin,C k-resolution of semialgebraic mappings. Addendum to Volume growth and entropy, Israel J. Math.57(1987), 301–317. Institute of Mathematics Faculty of Mathematics and Computer Science 30 KRZYSZTOF JAN NOW AK Jagiellonian University ul. Profesora S. Lojasiewicza 6 30-...

    1987

Pith tools

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