Matches in SemOpenAlex for { <https://semopenalex.org/work/W1636367151> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1636367151 abstract "Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields: Every continuous one-to-one function defined on a closed bounded interval maps interior of that interval to the interior of the image. Next, it is shown that over all closed bounded intervals in any monotone incomplete ordered field, there are continuous not uniformly continuous unbounded functions whose ranges are not closed, and continuous 1-1 functions which map every interior point to an interior point (of the image) but are not open. These are achieved using appropriate nets cofinal in gaps or coinitial in their complements. In our third main theorem, an ordered field is constructed which has parametrically definable regular gaps but no $emptyset$-definable divergent Cauchy functions (while we show that, in either of the two cases where parameters are or are not allowed, any definable divergent Cauchy function gives rise to a definable regular gap). Our proof for the mentioned independence result uses existence of infinite primes in the subring of the ordered field of generalized power series with rational exponents and real coefficients consisting of series with no infinitesimal terms, as recently established by D. Pitteloud." @default.
- W1636367151 created "2016-06-24" @default.
- W1636367151 creator A5025968166 @default.
- W1636367151 creator A5058736215 @default.
- W1636367151 date "2002-04-10" @default.
- W1636367151 modified "2023-09-27" @default.
- W1636367151 title "Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues" @default.
- W1636367151 cites W1980931430 @default.
- W1636367151 cites W2072878383 @default.
- W1636367151 cites W2076323182 @default.
- W1636367151 cites W2129356167 @default.
- W1636367151 hasPublicationYear "2002" @default.
- W1636367151 type Work @default.
- W1636367151 sameAs 1636367151 @default.
- W1636367151 citedByCount "1" @default.
- W1636367151 crossrefType "posted-content" @default.
- W1636367151 hasAuthorship W1636367151A5025968166 @default.
- W1636367151 hasAuthorship W1636367151A5058736215 @default.
- W1636367151 hasConcept C118615104 @default.
- W1636367151 hasConcept C118733216 @default.
- W1636367151 hasConcept C134306372 @default.
- W1636367151 hasConcept C14036430 @default.
- W1636367151 hasConcept C183606055 @default.
- W1636367151 hasConcept C202444582 @default.
- W1636367151 hasConcept C2524010 @default.
- W1636367151 hasConcept C2778199601 @default.
- W1636367151 hasConcept C2834757 @default.
- W1636367151 hasConcept C33923547 @default.
- W1636367151 hasConcept C34388435 @default.
- W1636367151 hasConcept C73905626 @default.
- W1636367151 hasConcept C76449584 @default.
- W1636367151 hasConcept C78458016 @default.
- W1636367151 hasConcept C86803240 @default.
- W1636367151 hasConcept C91229774 @default.
- W1636367151 hasConcept C9652623 @default.
- W1636367151 hasConceptScore W1636367151C118615104 @default.
- W1636367151 hasConceptScore W1636367151C118733216 @default.
- W1636367151 hasConceptScore W1636367151C134306372 @default.
- W1636367151 hasConceptScore W1636367151C14036430 @default.
- W1636367151 hasConceptScore W1636367151C183606055 @default.
- W1636367151 hasConceptScore W1636367151C202444582 @default.
- W1636367151 hasConceptScore W1636367151C2524010 @default.
- W1636367151 hasConceptScore W1636367151C2778199601 @default.
- W1636367151 hasConceptScore W1636367151C2834757 @default.
- W1636367151 hasConceptScore W1636367151C33923547 @default.
- W1636367151 hasConceptScore W1636367151C34388435 @default.
- W1636367151 hasConceptScore W1636367151C73905626 @default.
- W1636367151 hasConceptScore W1636367151C76449584 @default.
- W1636367151 hasConceptScore W1636367151C78458016 @default.
- W1636367151 hasConceptScore W1636367151C86803240 @default.
- W1636367151 hasConceptScore W1636367151C91229774 @default.
- W1636367151 hasConceptScore W1636367151C9652623 @default.
- W1636367151 hasLocation W16363671511 @default.
- W1636367151 hasOpenAccess W1636367151 @default.
- W1636367151 hasPrimaryLocation W16363671511 @default.
- W1636367151 hasRelatedWork W1580952144 @default.
- W1636367151 hasRelatedWork W1927751343 @default.
- W1636367151 hasRelatedWork W1970268137 @default.
- W1636367151 hasRelatedWork W1989039428 @default.
- W1636367151 hasRelatedWork W2006705693 @default.
- W1636367151 hasRelatedWork W2035469550 @default.
- W1636367151 hasRelatedWork W2061861082 @default.
- W1636367151 hasRelatedWork W2063427140 @default.
- W1636367151 hasRelatedWork W2075680984 @default.
- W1636367151 hasRelatedWork W2085673560 @default.
- W1636367151 hasRelatedWork W2160562432 @default.
- W1636367151 hasRelatedWork W2172233917 @default.
- W1636367151 hasRelatedWork W2270495153 @default.
- W1636367151 hasRelatedWork W2333786694 @default.
- W1636367151 hasRelatedWork W2516457729 @default.
- W1636367151 hasRelatedWork W2537596701 @default.
- W1636367151 hasRelatedWork W2783558516 @default.
- W1636367151 hasRelatedWork W2886807153 @default.
- W1636367151 hasRelatedWork W2917144484 @default.
- W1636367151 hasRelatedWork W2964223712 @default.
- W1636367151 isParatext "false" @default.
- W1636367151 isRetracted "false" @default.
- W1636367151 magId "1636367151" @default.
- W1636367151 workType "article" @default.