FRINK Linked Data Fragments server

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

• W2134972382 endingPage "82" @default.
• W2134972382 startingPage "1" @default.
• W2134972382 abstract "We study projective subsets of Baire space from Brouwer's intuitionistic point of view, using his Thesis on Bars and his continuity axioms. We first study analytic sets; these are the projections of the closed subsets of Baire space. We consider a number of examples and discover a fine structure in the class of the analytic sets that fail to be positively Borel. A subset of Baire space is strictly analytic if it coincides with the range of a continuous function from Baire space to itself. We prove separation and boundedness theorems for strictly analytic sets. Co-analytic sets are the co-projections of the open subsets of Baire space. We show different ways to prove that some co-analytic sets are not analytic and that some analytic sets are not co-analytic. We consider the set of the codes of the closed and located subsets of Baire space that are almost-countable as an example of a set that is a projection of a co-analytic set. We bring to light the collapse of the projective hierarchy: every (positively) projective set coincides with the projection of a co-analytic set." @default.
• W2134972382 created "2016-06-24" @default.
• W2134972382 creator A5084987525 @default.
• W2134972382 date "2011-04-15" @default.
• W2134972382 modified "2023-09-27" @default.
• W2134972382 title "Analytic, co-analytic and projective sets from Brouwer's intuitionistic perspective" @default.
• W2134972382 cites W101685471 @default.
• W2134972382 cites W132036571 @default.
• W2134972382 cites W1491813684 @default.
• W2134972382 cites W1495014143 @default.
• W2134972382 cites W1522304162 @default.
• W2134972382 cites W1525431708 @default.
• W2134972382 cites W1539382740 @default.
• W2134972382 cites W1545549932 @default.
• W2134972382 cites W1554737135 @default.
• W2134972382 cites W1555991696 @default.
• W2134972382 cites W1565376387 @default.
• W2134972382 cites W1568204127 @default.
• W2134972382 cites W1588775865 @default.
• W2134972382 cites W1607953571 @default.
• W2134972382 cites W1608607427 @default.
• W2134972382 cites W1965025401 @default.
• W2134972382 cites W1966245774 @default.
• W2134972382 cites W1977324591 @default.
• W2134972382 cites W1996516260 @default.
• W2134972382 cites W2023169465 @default.
• W2134972382 cites W2039705582 @default.
• W2134972382 cites W2042597474 @default.
• W2134972382 cites W2057128962 @default.
• W2134972382 cites W2066206715 @default.
• W2134972382 cites W2067028747 @default.
• W2134972382 cites W2097668264 @default.
• W2134972382 cites W2121042707 @default.
• W2134972382 cites W2132936486 @default.
• W2134972382 cites W2147419932 @default.
• W2134972382 cites W2170039932 @default.
• W2134972382 cites W2335408379 @default.
• W2134972382 cites W2466999195 @default.
• W2134972382 cites W2496901757 @default.
• W2134972382 cites W2588855338 @default.
• W2134972382 cites W2949118878 @default.
• W2134972382 cites W640012626 @default.
• W2134972382 cites W966006768 @default.
• W2134972382 cites W2097244012 @default.
• W2134972382 cites W2122962551 @default.
• W2134972382 hasPublicationYear "2011" @default.
• W2134972382 type Work @default.
• W2134972382 sameAs 2134972382 @default.
• W2134972382 citedByCount "0" @default.
• W2134972382 crossrefType "posted-content" @default.
• W2134972382 hasAuthorship W2134972382A5084987525 @default.
• W2134972382 hasConcept C110729354 @default.
• W2134972382 hasConcept C118615104 @default.
• W2134972382 hasConcept C132954091 @default.
• W2134972382 hasConcept C138885662 @default.
• W2134972382 hasConcept C164953516 @default.
• W2134972382 hasConcept C166359235 @default.
• W2134972382 hasConcept C189892329 @default.
• W2134972382 hasConcept C202444582 @default.
• W2134972382 hasConcept C205979905 @default.
• W2134972382 hasConcept C2778572836 @default.
• W2134972382 hasConcept C33923547 @default.
• W2134972382 hasConcept C41895202 @default.
• W2134972382 hasConcept C44659138 @default.
• W2134972382 hasConcept C93361540 @default.
• W2134972382 hasConceptScore W2134972382C110729354 @default.
• W2134972382 hasConceptScore W2134972382C118615104 @default.
• W2134972382 hasConceptScore W2134972382C132954091 @default.
• W2134972382 hasConceptScore W2134972382C138885662 @default.
• W2134972382 hasConceptScore W2134972382C164953516 @default.
• W2134972382 hasConceptScore W2134972382C166359235 @default.
• W2134972382 hasConceptScore W2134972382C189892329 @default.
• W2134972382 hasConceptScore W2134972382C202444582 @default.
• W2134972382 hasConceptScore W2134972382C205979905 @default.
• W2134972382 hasConceptScore W2134972382C2778572836 @default.
• W2134972382 hasConceptScore W2134972382C33923547 @default.
• W2134972382 hasConceptScore W2134972382C41895202 @default.
• W2134972382 hasConceptScore W2134972382C44659138 @default.
• W2134972382 hasConceptScore W2134972382C93361540 @default.
• W2134972382 hasLocation W21349723821 @default.
• W2134972382 hasOpenAccess W2134972382 @default.
• W2134972382 hasPrimaryLocation W21349723821 @default.
• W2134972382 hasRelatedWork W1550991731 @default.
• W2134972382 hasRelatedWork W1797154785 @default.
• W2134972382 hasRelatedWork W1993962603 @default.
• W2134972382 hasRelatedWork W1997051902 @default.
• W2134972382 hasRelatedWork W2027931514 @default.
• W2134972382 hasRelatedWork W2027950672 @default.
• W2134972382 hasRelatedWork W2042832192 @default.
• W2134972382 hasRelatedWork W2048917666 @default.
• W2134972382 hasRelatedWork W2051850357 @default.
• W2134972382 hasRelatedWork W2117637824 @default.
• W2134972382 hasRelatedWork W2123189304 @default.
• W2134972382 hasRelatedWork W2145307139 @default.
• W2134972382 hasRelatedWork W2185114495 @default.
• W2134972382 hasRelatedWork W2315381828 @default.
• W2134972382 hasRelatedWork W2321121172 @default.
• W2134972382 hasRelatedWork W2331245334 @default.

• next