Matches in SemOpenAlex for { <https://semopenalex.org/work/W2944793554> ?p ?o ?g. }
- W2944793554 abstract "Nets are generalisations of sequences involving possibly uncountable index sets; this notion was introduced about a century ago by Moore and Smith. They also established the generalisation to nets of various basic theorems of analysis due to Bolzano-Weierstrass, Dini, Arzela, and others. More recently, nets are central to the development of domain theory, providing intuitive definitions of the associated Scott and Lawson topologies, among others. This paper deals with the Reverse Mathematics study of basic theorems about nets. We restrict ourselves to nets indexed by subsets of Baire space, and therefore third-order arithmetic, as such nets suffice to obtain our main results. Over Kohlenbach's base theory of higher-order Reverse Mathematics, the Bolzano-Weierstrass theorem for nets implies the Heine-Borel theorem for uncountable covers. We establish similar results for other basic theorems about nets and even some equivalences, e.g. for Dini's theorem for nets. Finally, we show that replacing nets by sequences is hard, but that replacing sequences by nets can obviate the need for the Axiom of Choice, a foundational concern in domain theory. In an appendix, we study the power of more general index sets, establishing that the 'size' of a net is directly proportional to the power of the associated convergence theorem." @default.
- W2944793554 created "2019-05-16" @default.
- W2944793554 creator A5073669576 @default.
- W2944793554 date "2019-05-10" @default.
- W2944793554 modified "2023-10-01" @default.
- W2944793554 title "Nets and Reverse Mathematics, a pilot study" @default.
- W2944793554 cites W126568045 @default.
- W2944793554 cites W1507744378 @default.
- W2944793554 cites W1518556312 @default.
- W2944793554 cites W1525647423 @default.
- W2944793554 cites W1550809037 @default.
- W2944793554 cites W1556890730 @default.
- W2944793554 cites W1559245777 @default.
- W2944793554 cites W1582269801 @default.
- W2944793554 cites W1585950955 @default.
- W2944793554 cites W1590304156 @default.
- W2944793554 cites W1608607427 @default.
- W2944793554 cites W1970341293 @default.
- W2944793554 cites W1970493059 @default.
- W2944793554 cites W1974355866 @default.
- W2944793554 cites W1985626396 @default.
- W2944793554 cites W2004099489 @default.
- W2944793554 cites W2017722074 @default.
- W2944793554 cites W2025592531 @default.
- W2944793554 cites W2026998787 @default.
- W2944793554 cites W2031942085 @default.
- W2944793554 cites W2040673954 @default.
- W2944793554 cites W2045199616 @default.
- W2944793554 cites W2062573331 @default.
- W2944793554 cites W2067914884 @default.
- W2944793554 cites W2072459054 @default.
- W2944793554 cites W2076638174 @default.
- W2944793554 cites W2082393006 @default.
- W2944793554 cites W2086150350 @default.
- W2944793554 cites W2088784807 @default.
- W2944793554 cites W2090521688 @default.
- W2944793554 cites W2093068058 @default.
- W2944793554 cites W2099102402 @default.
- W2944793554 cites W2117109310 @default.
- W2944793554 cites W2162168838 @default.
- W2944793554 cites W2170311001 @default.
- W2944793554 cites W2189582351 @default.
- W2944793554 cites W2229732917 @default.
- W2944793554 cites W2323712402 @default.
- W2944793554 cites W2325862303 @default.
- W2944793554 cites W2334858071 @default.
- W2944793554 cites W2339460772 @default.
- W2944793554 cites W2341247334 @default.
- W2944793554 cites W261851400 @default.
- W2944793554 cites W2799398590 @default.
- W2944793554 cites W2888463493 @default.
- W2944793554 cites W2912565176 @default.
- W2944793554 cites W2954386920 @default.
- W2944793554 cites W2963287244 @default.
- W2944793554 cites W3124326917 @default.
- W2944793554 cites W3207410279 @default.
- W2944793554 cites W438549760 @default.
- W2944793554 cites W602306650 @default.
- W2944793554 cites W604140817 @default.
- W2944793554 cites W620160627 @default.
- W2944793554 cites W64077981 @default.
- W2944793554 cites W642569514 @default.
- W2944793554 cites W655855359 @default.
- W2944793554 cites W1986119538 @default.
- W2944793554 hasPublicationYear "2019" @default.
- W2944793554 type Work @default.
- W2944793554 sameAs 2944793554 @default.
- W2944793554 citedByCount "0" @default.
- W2944793554 crossrefType "posted-content" @default.
- W2944793554 hasAuthorship W2944793554A5073669576 @default.
- W2944793554 hasConcept C100643331 @default.
- W2944793554 hasConcept C110729354 @default.
- W2944793554 hasConcept C118615104 @default.
- W2944793554 hasConcept C127753061 @default.
- W2944793554 hasConcept C134306372 @default.
- W2944793554 hasConcept C136119220 @default.
- W2944793554 hasConcept C14166107 @default.
- W2944793554 hasConcept C142399903 @default.
- W2944793554 hasConcept C154945302 @default.
- W2944793554 hasConcept C167729594 @default.
- W2944793554 hasConcept C177264268 @default.
- W2944793554 hasConcept C180937797 @default.
- W2944793554 hasConcept C199360897 @default.
- W2944793554 hasConcept C202444582 @default.
- W2944793554 hasConcept C2524010 @default.
- W2944793554 hasConcept C2781302003 @default.
- W2944793554 hasConcept C33923547 @default.
- W2944793554 hasConcept C36503486 @default.
- W2944793554 hasConcept C41008148 @default.
- W2944793554 hasConcept C42058472 @default.
- W2944793554 hasConcept C44659138 @default.
- W2944793554 hasConcept C65148605 @default.
- W2944793554 hasConcept C97489613 @default.
- W2944793554 hasConceptScore W2944793554C100643331 @default.
- W2944793554 hasConceptScore W2944793554C110729354 @default.
- W2944793554 hasConceptScore W2944793554C118615104 @default.
- W2944793554 hasConceptScore W2944793554C127753061 @default.
- W2944793554 hasConceptScore W2944793554C134306372 @default.
- W2944793554 hasConceptScore W2944793554C136119220 @default.
- W2944793554 hasConceptScore W2944793554C14166107 @default.