Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898545920> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2898545920 endingPage "201" @default.
- W2898545920 startingPage "187" @default.
- W2898545920 abstract "In this paper we look at streamless sets, recently investigated by Coquand and Spiwack. A set is streamless if every stream over that set contain a duplicate. It is an open question in constructive mathematics whether the Cartesian product of two streamless sets is streamless.We look at some settings in which the Cartesian product of two streamless sets is indeed streamless; in particular, we show that this holds in Martin-Loef intentional type theory when at least one of the sets have decidable equality. We go on to show that the addition of functional extensionality give streamless sets decidable equality, and then investigate these results in a few other constructive systems." @default.
- W2898545920 created "2018-11-02" @default.
- W2898545920 creator A5037645048 @default.
- W2898545920 date "2014-01-01" @default.
- W2898545920 modified "2023-09-23" @default.
- W2898545920 title "Investigating Streamless Sets." @default.
- W2898545920 hasPublicationYear "2014" @default.
- W2898545920 type Work @default.
- W2898545920 sameAs 2898545920 @default.
- W2898545920 citedByCount "0" @default.
- W2898545920 crossrefType "journal-article" @default.
- W2898545920 hasAuthorship W2898545920A5037645048 @default.
- W2898545920 hasConcept C118615104 @default.
- W2898545920 hasConcept C136119220 @default.
- W2898545920 hasConcept C150355047 @default.
- W2898545920 hasConcept C153046414 @default.
- W2898545920 hasConcept C153269930 @default.
- W2898545920 hasConcept C171032842 @default.
- W2898545920 hasConcept C177264268 @default.
- W2898545920 hasConcept C199360897 @default.
- W2898545920 hasConcept C202444582 @default.
- W2898545920 hasConcept C2524010 @default.
- W2898545920 hasConcept C2778701210 @default.
- W2898545920 hasConcept C33923547 @default.
- W2898545920 hasConcept C41008148 @default.
- W2898545920 hasConcept C65236422 @default.
- W2898545920 hasConcept C90673727 @default.
- W2898545920 hasConcept C98045186 @default.
- W2898545920 hasConceptScore W2898545920C118615104 @default.
- W2898545920 hasConceptScore W2898545920C136119220 @default.
- W2898545920 hasConceptScore W2898545920C150355047 @default.
- W2898545920 hasConceptScore W2898545920C153046414 @default.
- W2898545920 hasConceptScore W2898545920C153269930 @default.
- W2898545920 hasConceptScore W2898545920C171032842 @default.
- W2898545920 hasConceptScore W2898545920C177264268 @default.
- W2898545920 hasConceptScore W2898545920C199360897 @default.
- W2898545920 hasConceptScore W2898545920C202444582 @default.
- W2898545920 hasConceptScore W2898545920C2524010 @default.
- W2898545920 hasConceptScore W2898545920C2778701210 @default.
- W2898545920 hasConceptScore W2898545920C33923547 @default.
- W2898545920 hasConceptScore W2898545920C41008148 @default.
- W2898545920 hasConceptScore W2898545920C65236422 @default.
- W2898545920 hasConceptScore W2898545920C90673727 @default.
- W2898545920 hasConceptScore W2898545920C98045186 @default.
- W2898545920 hasLocation W28985459201 @default.
- W2898545920 hasOpenAccess W2898545920 @default.
- W2898545920 hasPrimaryLocation W28985459201 @default.
- W2898545920 hasRelatedWork W149671515 @default.
- W2898545920 hasRelatedWork W1509342882 @default.
- W2898545920 hasRelatedWork W1514076924 @default.
- W2898545920 hasRelatedWork W1542543925 @default.
- W2898545920 hasRelatedWork W1989634318 @default.
- W2898545920 hasRelatedWork W1999175002 @default.
- W2898545920 hasRelatedWork W2005903141 @default.
- W2898545920 hasRelatedWork W2009263137 @default.
- W2898545920 hasRelatedWork W2049268966 @default.
- W2898545920 hasRelatedWork W2078676558 @default.
- W2898545920 hasRelatedWork W2089947806 @default.
- W2898545920 hasRelatedWork W2092992954 @default.
- W2898545920 hasRelatedWork W2102442643 @default.
- W2898545920 hasRelatedWork W2166791089 @default.
- W2898545920 hasRelatedWork W2224411976 @default.
- W2898545920 hasRelatedWork W2330615095 @default.
- W2898545920 hasRelatedWork W2767324680 @default.
- W2898545920 hasRelatedWork W2902478383 @default.
- W2898545920 hasRelatedWork W2964222779 @default.
- W2898545920 hasRelatedWork W1632634803 @default.
- W2898545920 isParatext "false" @default.
- W2898545920 isRetracted "false" @default.
- W2898545920 magId "2898545920" @default.
- W2898545920 workType "article" @default.