Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594977390> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1594977390 abstract "We study the reverse mathematics of the theory of countable second-countable topological spaces, with a focus on compactness. We show that the general theory of such spaces works as expected in the subsystem $mathsf{ACA}_0$ of second-order arithmetic, but we find that many unexpected pathologies can occur in weaker subsystems. In particular, we show that $mathsf{RCA}_0$ does not prove that every compact discrete countable second-countable space is finite and that $mathsf{RCA}_0$ does not prove that the product of two compact countable second-countable spaces is compact. To circumvent these pathologies, we introduce strengthened forms of compactness, discreteness, and Hausdorffness which are better behaved in subsystems of second-order arithmetic weaker than $mathsf{ACA}_0$." @default.
- W1594977390 created "2016-06-24" @default.
- W1594977390 creator A5009182260 @default.
- W1594977390 date "2011-10-29" @default.
- W1594977390 modified "2023-09-27" @default.
- W1594977390 title "Reverse mathematics of compact countable second-countable spaces" @default.
- W1594977390 cites W1556453281 @default.
- W1594977390 cites W1967629533 @default.
- W1594977390 cites W2023021577 @default.
- W1594977390 cites W2045033949 @default.
- W1594977390 cites W2053099695 @default.
- W1594977390 cites W2117109310 @default.
- W1594977390 cites W2144999713 @default.
- W1594977390 cites W2148962283 @default.
- W1594977390 cites W2339005484 @default.
- W1594977390 hasPublicationYear "2011" @default.
- W1594977390 type Work @default.
- W1594977390 sameAs 1594977390 @default.
- W1594977390 citedByCount "1" @default.
- W1594977390 countsByYear W15949773902019 @default.
- W1594977390 crossrefType "posted-content" @default.
- W1594977390 hasAuthorship W1594977390A5009182260 @default.
- W1594977390 hasConcept C10138342 @default.
- W1594977390 hasConcept C110729354 @default.
- W1594977390 hasConcept C111919701 @default.
- W1594977390 hasConcept C114614502 @default.
- W1594977390 hasConcept C118615104 @default.
- W1594977390 hasConcept C120665830 @default.
- W1594977390 hasConcept C121332964 @default.
- W1594977390 hasConcept C162324750 @default.
- W1594977390 hasConcept C162362422 @default.
- W1594977390 hasConcept C182306322 @default.
- W1594977390 hasConcept C183128840 @default.
- W1594977390 hasConcept C184720557 @default.
- W1594977390 hasConcept C18648836 @default.
- W1594977390 hasConcept C192209626 @default.
- W1594977390 hasConcept C202444582 @default.
- W1594977390 hasConcept C2524010 @default.
- W1594977390 hasConcept C2778572836 @default.
- W1594977390 hasConcept C33923547 @default.
- W1594977390 hasConcept C41008148 @default.
- W1594977390 hasConcept C90673727 @default.
- W1594977390 hasConceptScore W1594977390C10138342 @default.
- W1594977390 hasConceptScore W1594977390C110729354 @default.
- W1594977390 hasConceptScore W1594977390C111919701 @default.
- W1594977390 hasConceptScore W1594977390C114614502 @default.
- W1594977390 hasConceptScore W1594977390C118615104 @default.
- W1594977390 hasConceptScore W1594977390C120665830 @default.
- W1594977390 hasConceptScore W1594977390C121332964 @default.
- W1594977390 hasConceptScore W1594977390C162324750 @default.
- W1594977390 hasConceptScore W1594977390C162362422 @default.
- W1594977390 hasConceptScore W1594977390C182306322 @default.
- W1594977390 hasConceptScore W1594977390C183128840 @default.
- W1594977390 hasConceptScore W1594977390C184720557 @default.
- W1594977390 hasConceptScore W1594977390C18648836 @default.
- W1594977390 hasConceptScore W1594977390C192209626 @default.
- W1594977390 hasConceptScore W1594977390C202444582 @default.
- W1594977390 hasConceptScore W1594977390C2524010 @default.
- W1594977390 hasConceptScore W1594977390C2778572836 @default.
- W1594977390 hasConceptScore W1594977390C33923547 @default.
- W1594977390 hasConceptScore W1594977390C41008148 @default.
- W1594977390 hasConceptScore W1594977390C90673727 @default.
- W1594977390 hasLocation W15949773901 @default.
- W1594977390 hasOpenAccess W1594977390 @default.
- W1594977390 hasPrimaryLocation W15949773901 @default.
- W1594977390 hasRelatedWork W1618082455 @default.
- W1594977390 hasRelatedWork W1988570527 @default.
- W1594977390 hasRelatedWork W2028325006 @default.
- W1594977390 hasRelatedWork W2083902954 @default.
- W1594977390 hasRelatedWork W2127943190 @default.
- W1594977390 hasRelatedWork W2138051514 @default.
- W1594977390 hasRelatedWork W2153255278 @default.
- W1594977390 hasRelatedWork W2256990887 @default.
- W1594977390 hasRelatedWork W2562048994 @default.
- W1594977390 hasRelatedWork W2754131374 @default.
- W1594977390 hasRelatedWork W2810418053 @default.
- W1594977390 hasRelatedWork W2891845827 @default.
- W1594977390 hasRelatedWork W2955585851 @default.
- W1594977390 hasRelatedWork W2963955437 @default.
- W1594977390 hasRelatedWork W3047482432 @default.
- W1594977390 hasRelatedWork W3087335769 @default.
- W1594977390 hasRelatedWork W3102237393 @default.
- W1594977390 hasRelatedWork W3160800924 @default.
- W1594977390 hasRelatedWork W3205973278 @default.
- W1594977390 hasRelatedWork W3209348033 @default.
- W1594977390 isParatext "false" @default.
- W1594977390 isRetracted "false" @default.
- W1594977390 magId "1594977390" @default.
- W1594977390 workType "article" @default.