Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997558102> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1997558102 endingPage "86" @default.
- W1997558102 startingPage "69" @default.
- W1997558102 abstract "A new foundation for constructive nonstandard analysis is presented. It is based on an extension of a sheaf-theoretic model of nonstandard arithmetic due to I. Moerdijk. The model consists of representable sheaves over a site of filter bases. Nonstandard characterisations of various notions from analysis are obtained: modes of convergence, uniform continuity and differentiability, and some topological notions. We also obtain some additional results about the model. As in the classical case, the order type of the nonstandard natural numbers is a dense set of copies of the integers. Every standard set has a hyperfinite enumeration of its standard elements in the model. All arguments are carried out within a constructive and predicative metatheory: Martin-Löf's type theory." @default.
- W1997558102 created "2016-06-24" @default.
- W1997558102 creator A5043991180 @default.
- W1997558102 date "1997-04-01" @default.
- W1997558102 modified "2023-09-25" @default.
- W1997558102 title "A sheaf-theoretic foundation for nonstandard analysis" @default.
- W1997558102 cites W1988155600 @default.
- W1997558102 cites W2075382666 @default.
- W1997558102 cites W2078368926 @default.
- W1997558102 cites W2127548353 @default.
- W1997558102 cites W36355091 @default.
- W1997558102 cites W569543113 @default.
- W1997558102 doi "https://doi.org/10.1016/s0168-0072(96)00041-3" @default.
- W1997558102 hasPublicationYear "1997" @default.
- W1997558102 type Work @default.
- W1997558102 sameAs 1997558102 @default.
- W1997558102 citedByCount "17" @default.
- W1997558102 countsByYear W19975581022013 @default.
- W1997558102 countsByYear W19975581022015 @default.
- W1997558102 countsByYear W19975581022017 @default.
- W1997558102 countsByYear W19975581022018 @default.
- W1997558102 countsByYear W19975581022019 @default.
- W1997558102 countsByYear W19975581022020 @default.
- W1997558102 countsByYear W19975581022021 @default.
- W1997558102 countsByYear W19975581022022 @default.
- W1997558102 crossrefType "journal-article" @default.
- W1997558102 hasAuthorship W1997558102A5043991180 @default.
- W1997558102 hasConcept C111919701 @default.
- W1997558102 hasConcept C118615104 @default.
- W1997558102 hasConcept C129131279 @default.
- W1997558102 hasConcept C136119220 @default.
- W1997558102 hasConcept C138885662 @default.
- W1997558102 hasConcept C151797676 @default.
- W1997558102 hasConcept C153046414 @default.
- W1997558102 hasConcept C177264268 @default.
- W1997558102 hasConcept C18903297 @default.
- W1997558102 hasConcept C199360897 @default.
- W1997558102 hasConcept C202444582 @default.
- W1997558102 hasConcept C202615002 @default.
- W1997558102 hasConcept C2777299769 @default.
- W1997558102 hasConcept C2778701210 @default.
- W1997558102 hasConcept C33923547 @default.
- W1997558102 hasConcept C4017995 @default.
- W1997558102 hasConcept C41008148 @default.
- W1997558102 hasConcept C41895202 @default.
- W1997558102 hasConcept C556429856 @default.
- W1997558102 hasConcept C86803240 @default.
- W1997558102 hasConcept C93682546 @default.
- W1997558102 hasConcept C98045186 @default.
- W1997558102 hasConceptScore W1997558102C111919701 @default.
- W1997558102 hasConceptScore W1997558102C118615104 @default.
- W1997558102 hasConceptScore W1997558102C129131279 @default.
- W1997558102 hasConceptScore W1997558102C136119220 @default.
- W1997558102 hasConceptScore W1997558102C138885662 @default.
- W1997558102 hasConceptScore W1997558102C151797676 @default.
- W1997558102 hasConceptScore W1997558102C153046414 @default.
- W1997558102 hasConceptScore W1997558102C177264268 @default.
- W1997558102 hasConceptScore W1997558102C18903297 @default.
- W1997558102 hasConceptScore W1997558102C199360897 @default.
- W1997558102 hasConceptScore W1997558102C202444582 @default.
- W1997558102 hasConceptScore W1997558102C202615002 @default.
- W1997558102 hasConceptScore W1997558102C2777299769 @default.
- W1997558102 hasConceptScore W1997558102C2778701210 @default.
- W1997558102 hasConceptScore W1997558102C33923547 @default.
- W1997558102 hasConceptScore W1997558102C4017995 @default.
- W1997558102 hasConceptScore W1997558102C41008148 @default.
- W1997558102 hasConceptScore W1997558102C41895202 @default.
- W1997558102 hasConceptScore W1997558102C556429856 @default.
- W1997558102 hasConceptScore W1997558102C86803240 @default.
- W1997558102 hasConceptScore W1997558102C93682546 @default.
- W1997558102 hasConceptScore W1997558102C98045186 @default.
- W1997558102 hasIssue "1" @default.
- W1997558102 hasLocation W19975581021 @default.
- W1997558102 hasOpenAccess W1997558102 @default.
- W1997558102 hasPrimaryLocation W19975581021 @default.
- W1997558102 hasRelatedWork W1900113356 @default.
- W1997558102 hasRelatedWork W1997558102 @default.
- W1997558102 hasRelatedWork W2074717474 @default.
- W1997558102 hasRelatedWork W2601262655 @default.
- W1997558102 hasRelatedWork W2762736879 @default.
- W1997558102 hasRelatedWork W2952195806 @default.
- W1997558102 hasRelatedWork W2983723438 @default.
- W1997558102 hasRelatedWork W3217362411 @default.
- W1997558102 hasRelatedWork W4297908055 @default.
- W1997558102 hasRelatedWork W4298384908 @default.
- W1997558102 hasVolume "85" @default.
- W1997558102 isParatext "false" @default.
- W1997558102 isRetracted "false" @default.
- W1997558102 magId "1997558102" @default.
- W1997558102 workType "article" @default.