Quantifier elimination in quasianalytic structures via non-standard analysis (Q5262413): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963700838 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1405.2840 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution of singularities in Denjoy-Carleman classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Field of Reals with Multisummable Series and the Exponential Function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5700774 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5183990 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5673937 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The implicit function theorem for ultradifferentiable mappings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur certaines classes de fonctions indéfiniment dérivables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extension of ultradifferentiable functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5775555 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4340900 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof of the valuation property and preparation theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decomposition into special cubes and its applications to quasi-subanalytic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rectilinearization of functions definable by a Weierstrass system and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the singular locus of sets definable in a quasianalytic structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON DIVISION OF QUASIANALYTIC FUNCTION GERMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasianalytic Denjoy-Carleman classes and o-minimality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4340161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On quasianalytic local rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differentiable even functions / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:06, 10 July 2024

scientific article; zbMATH DE number 6458734
Language Label Description Also known as
English
Quantifier elimination in quasianalytic structures via non-standard analysis
scientific article; zbMATH DE number 6458734

    Statements

    Quantifier elimination in quasianalytic structures via non-standard analysis (English)
    0 references
    14 July 2015
    0 references
    quasianalytic structures
    0 references
    quantifier elimination
    0 references
    active infinitesimals
    0 references
    special cubes and modifications
    0 references
    valuation property
    0 references
    exchange property
    0 references
    rectilinearization of quasisubanalytic functions
    0 references
    Denjoy-Carleman classes
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references