The elementary theory of Dedekind cuts in polynomially bounded structures (Q2488270): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Paires de structures O-minimales / rank
 
Normal rank
Property / cites work
 
Property / cites work: On o-minimal expansions of Archimedean ordered groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly o-minimal structures and real closed fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Omitting types in -minimal theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponentiation is Hard to Avoid / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837738 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3707983 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model completeness of o-minimal structures expanded by Dedekind cuts / rank
 
Normal rank
Property / cites work
 
Property / cites work: <i>T</i>-convexity and tame extensions II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4392286 / rank
 
Normal rank
Property / cites work
 
Property / cites work: <i>T</i>-convexity and tame extensions / 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: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function / rank
 
Normal rank

Latest revision as of 15:35, 10 June 2024

scientific article
Language Label Description Also known as
English
The elementary theory of Dedekind cuts in polynomially bounded structures
scientific article

    Statements

    The elementary theory of Dedekind cuts in polynomially bounded structures (English)
    0 references
    0 references
    25 August 2005
    0 references
    0 references
    Dedekind cut
    0 references
    Quantifier elimination
    0 references
    Polynomially bounded
    0 references
    o-minimality
    0 references
    0 references
    0 references