Matches in SemOpenAlex for { <https://semopenalex.org/work/W2323550729> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2323550729 abstract "Abstract This paper introduces the frame of partially defined real numbers and the lattice-ordered ring of partial real functions on a frame. This is then used to construct the order completion of rings of pointfree continuous real functions. The bounded and integer-valued cases are also analysed. The application of this pointfree approach to the classical case C(" @default.
- W2323550729 created "2016-06-24" @default.
- W2323550729 creator A5039338120 @default.
- W2323550729 creator A5047904055 @default.
- W2323550729 creator A5078702181 @default.
- W2323550729 date "2015-01-01" @default.
- W2323550729 modified "2023-10-13" @default.
- W2323550729 title "On the Dedekind completion of function rings" @default.
- W2323550729 doi "https://doi.org/10.1515/forum-2012-0095" @default.
- W2323550729 hasPublicationYear "2015" @default.
- W2323550729 type Work @default.
- W2323550729 sameAs 2323550729 @default.
- W2323550729 citedByCount "6" @default.
- W2323550729 countsByYear W23235507292016 @default.
- W2323550729 countsByYear W23235507292017 @default.
- W2323550729 countsByYear W23235507292021 @default.
- W2323550729 crossrefType "journal-article" @default.
- W2323550729 hasAuthorship W2323550729A5039338120 @default.
- W2323550729 hasAuthorship W2323550729A5047904055 @default.
- W2323550729 hasAuthorship W2323550729A5078702181 @default.
- W2323550729 hasBestOaLocation W23235507292 @default.
- W2323550729 hasConcept C127313418 @default.
- W2323550729 hasConcept C14036430 @default.
- W2323550729 hasConcept C183606055 @default.
- W2323550729 hasConcept C202444582 @default.
- W2323550729 hasConcept C2779538338 @default.
- W2323550729 hasConcept C33923547 @default.
- W2323550729 hasConcept C76449584 @default.
- W2323550729 hasConcept C78458016 @default.
- W2323550729 hasConcept C78762247 @default.
- W2323550729 hasConcept C86803240 @default.
- W2323550729 hasConceptScore W2323550729C127313418 @default.
- W2323550729 hasConceptScore W2323550729C14036430 @default.
- W2323550729 hasConceptScore W2323550729C183606055 @default.
- W2323550729 hasConceptScore W2323550729C202444582 @default.
- W2323550729 hasConceptScore W2323550729C2779538338 @default.
- W2323550729 hasConceptScore W2323550729C33923547 @default.
- W2323550729 hasConceptScore W2323550729C76449584 @default.
- W2323550729 hasConceptScore W2323550729C78458016 @default.
- W2323550729 hasConceptScore W2323550729C78762247 @default.
- W2323550729 hasConceptScore W2323550729C86803240 @default.
- W2323550729 hasFunder F4320321919 @default.
- W2323550729 hasIssue "5" @default.
- W2323550729 hasLocation W23235507291 @default.
- W2323550729 hasLocation W23235507292 @default.
- W2323550729 hasOpenAccess W2323550729 @default.
- W2323550729 hasPrimaryLocation W23235507291 @default.
- W2323550729 hasRelatedWork W1976341232 @default.
- W2323550729 hasRelatedWork W1984556687 @default.
- W2323550729 hasRelatedWork W1988139113 @default.
- W2323550729 hasRelatedWork W2006001136 @default.
- W2323550729 hasRelatedWork W2027757397 @default.
- W2323550729 hasRelatedWork W2074543882 @default.
- W2323550729 hasRelatedWork W2080393778 @default.
- W2323550729 hasRelatedWork W2092789486 @default.
- W2323550729 hasRelatedWork W2130115371 @default.
- W2323550729 hasRelatedWork W2144555319 @default.
- W2323550729 hasRelatedWork W2147942300 @default.
- W2323550729 hasRelatedWork W2229970062 @default.
- W2323550729 hasRelatedWork W2317593303 @default.
- W2323550729 hasRelatedWork W2400853125 @default.
- W2323550729 hasRelatedWork W2473174231 @default.
- W2323550729 hasRelatedWork W2501959713 @default.
- W2323550729 hasRelatedWork W2895492580 @default.
- W2323550729 hasRelatedWork W631319277 @default.
- W2323550729 hasRelatedWork W829938377 @default.
- W2323550729 hasRelatedWork W923563142 @default.
- W2323550729 hasVolume "27" @default.
- W2323550729 isParatext "false" @default.
- W2323550729 isRetracted "false" @default.
- W2323550729 magId "2323550729" @default.
- W2323550729 workType "article" @default.