FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900113356> ?p ?o ?g. }

• W1900113356 startingPage "0" @default.
• W1900113356 abstract "We present a constructive algebraic integration theory. The theory is constructive in the sense of Bishop, however we avoid the axiom of countable, or dependent, choice. Thus our results can be interpreted in any topos. Since we avoid impredicative methods the results may also be interpreted in Martin-LAƒÂ¶f type theory or in a predicative topos in the sense of Moerdijk and Palmgren. We outline how to develop most of Bishop's theorems on integration theory that do not mention points explicitly. Coquand's constructive version of the Stone representation theorem is an important tool in this process. It is also used to give a new proof of Bishop's spectral theorem." @default.
• W1900113356 created "2016-06-24" @default.
• W1900113356 creator A5043123968 @default.
• W1900113356 date "2005-01-01" @default.
• W1900113356 modified "2023-09-26" @default.
• W1900113356 title "Constructive algebraic integration theory without choice" @default.
• W1900113356 cites W130860892 @default.
• W1900113356 cites W1486536800 @default.
• W1900113356 cites W1499154644 @default.
• W1900113356 cites W1526769101 @default.
• W1900113356 cites W177158136 @default.
• W1900113356 cites W1982261248 @default.
• W1900113356 cites W2001923225 @default.
• W1900113356 cites W2020879982 @default.
• W1900113356 cites W2055165045 @default.
• W1900113356 cites W2066205659 @default.
• W1900113356 cites W2078334802 @default.
• W1900113356 cites W2083391867 @default.
• W1900113356 cites W2121213425 @default.
• W1900113356 cites W2121752976 @default.
• W1900113356 cites W2130048293 @default.
• W1900113356 cites W2149472882 @default.
• W1900113356 cites W2896193782 @default.
• W1900113356 cites W36355091 @default.
• W1900113356 cites W569543113 @default.
• W1900113356 cites W2046059383 @default.
• W1900113356 hasPublicationYear "2005" @default.
• W1900113356 type Work @default.
• W1900113356 sameAs 1900113356 @default.
• W1900113356 citedByCount "7" @default.
• W1900113356 countsByYear W19001133562012 @default.
• W1900113356 crossrefType "proceedings-article" @default.
• W1900113356 hasAuthorship W1900113356A5043123968 @default.
• W1900113356 hasConcept C110729354 @default.
• W1900113356 hasConcept C118615104 @default.
• W1900113356 hasConcept C124952713 @default.
• W1900113356 hasConcept C129131279 @default.
• W1900113356 hasConcept C134306372 @default.
• W1900113356 hasConcept C136119220 @default.
• W1900113356 hasConcept C138885662 @default.
• W1900113356 hasConcept C142362112 @default.
• W1900113356 hasConcept C151797676 @default.
• W1900113356 hasConcept C153046414 @default.
• W1900113356 hasConcept C167729594 @default.
• W1900113356 hasConcept C177264268 @default.
• W1900113356 hasConcept C182141236 @default.
• W1900113356 hasConcept C18903297 @default.
• W1900113356 hasConcept C199343813 @default.
• W1900113356 hasConcept C199360897 @default.
• W1900113356 hasConcept C202444582 @default.
• W1900113356 hasConcept C202854965 @default.
• W1900113356 hasConcept C2524010 @default.
• W1900113356 hasConcept C2777299769 @default.
• W1900113356 hasConcept C2777686260 @default.
• W1900113356 hasConcept C2778701210 @default.
• W1900113356 hasConcept C2779782106 @default.
• W1900113356 hasConcept C33923547 @default.
• W1900113356 hasConcept C41008148 @default.
• W1900113356 hasConcept C41895202 @default.
• W1900113356 hasConcept C54884031 @default.
• W1900113356 hasConcept C556429856 @default.
• W1900113356 hasConcept C71924100 @default.
• W1900113356 hasConcept C86803240 @default.
• W1900113356 hasConcept C93682546 @default.
• W1900113356 hasConcept C9376300 @default.
• W1900113356 hasConcept C98045186 @default.
• W1900113356 hasConceptScore W1900113356C110729354 @default.
• W1900113356 hasConceptScore W1900113356C118615104 @default.
• W1900113356 hasConceptScore W1900113356C124952713 @default.
• W1900113356 hasConceptScore W1900113356C129131279 @default.
• W1900113356 hasConceptScore W1900113356C134306372 @default.
• W1900113356 hasConceptScore W1900113356C136119220 @default.
• W1900113356 hasConceptScore W1900113356C138885662 @default.
• W1900113356 hasConceptScore W1900113356C142362112 @default.
• W1900113356 hasConceptScore W1900113356C151797676 @default.
• W1900113356 hasConceptScore W1900113356C153046414 @default.
• W1900113356 hasConceptScore W1900113356C167729594 @default.
• W1900113356 hasConceptScore W1900113356C177264268 @default.
• W1900113356 hasConceptScore W1900113356C182141236 @default.
• W1900113356 hasConceptScore W1900113356C18903297 @default.
• W1900113356 hasConceptScore W1900113356C199343813 @default.
• W1900113356 hasConceptScore W1900113356C199360897 @default.
• W1900113356 hasConceptScore W1900113356C202444582 @default.
• W1900113356 hasConceptScore W1900113356C202854965 @default.
• W1900113356 hasConceptScore W1900113356C2524010 @default.
• W1900113356 hasConceptScore W1900113356C2777299769 @default.
• W1900113356 hasConceptScore W1900113356C2777686260 @default.
• W1900113356 hasConceptScore W1900113356C2778701210 @default.
• W1900113356 hasConceptScore W1900113356C2779782106 @default.
• W1900113356 hasConceptScore W1900113356C33923547 @default.
• W1900113356 hasConceptScore W1900113356C41008148 @default.
• W1900113356 hasConceptScore W1900113356C41895202 @default.
• W1900113356 hasConceptScore W1900113356C54884031 @default.
• W1900113356 hasConceptScore W1900113356C556429856 @default.
• W1900113356 hasConceptScore W1900113356C71924100 @default.
• W1900113356 hasConceptScore W1900113356C86803240 @default.
• W1900113356 hasConceptScore W1900113356C93682546 @default.
• W1900113356 hasConceptScore W1900113356C9376300 @default.
• W1900113356 hasConceptScore W1900113356C98045186 @default.

• next