Matches in SemOpenAlex for { <https://semopenalex.org/work/W3124326917> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3124326917 endingPage "298" @default.
- W3124326917 startingPage "292" @default.
- W3124326917 abstract "The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstra{ss} principle (BW) and a weak variant of it. We show that BW is instance-wise equivalent to the weak Konig's lemma for $Sigma^0_1$-trees ($Sigma^0_1$-WKL). This means that from every bounded sequence of reals one can compute an infinite $Sigma^0_1$-0/1-tree, such that each infinite branch of it yields an accumulation point and vice versa. Especially, this shows that the degrees d >> 0' are exactly those containing an accumulation point for all bounded computable sequences. Let BW_weak be the principle stating that every bounded sequence of real numbers contains a Cauchy subsequence (a sequence converging but not necessarily fast). We show that BW_weak is instance-wise equivalent to the (strong) cohesive principle (StCOH) and - using this - obtain a classification of the computational and logical strength of BW_weak. Especially we show that BW_weak does not solve the halting problem and does not lead to more than primitive recursive growth. Therefore it is strictly weaker than BW. We also discuss possible uses of BW_weak." @default.
- W3124326917 created "2021-02-01" @default.
- W3124326917 creator A5080684787 @default.
- W3124326917 date "2011-03-07" @default.
- W3124326917 modified "2023-10-04" @default.
- W3124326917 title "The cohesive principle and the Bolzano-Weierstraß principle" @default.
- W3124326917 cites W1556453281 @default.
- W3124326917 cites W1561005717 @default.
- W3124326917 cites W1964587127 @default.
- W3124326917 cites W1973337017 @default.
- W3124326917 cites W1981894804 @default.
- W3124326917 cites W2040267382 @default.
- W3124326917 cites W2046783159 @default.
- W3124326917 cites W2086045987 @default.
- W3124326917 cites W2095201608 @default.
- W3124326917 cites W2144268026 @default.
- W3124326917 cites W2148962283 @default.
- W3124326917 cites W4231695287 @default.
- W3124326917 doi "https://doi.org/10.1002/malq.201010008" @default.
- W3124326917 hasPublicationYear "2011" @default.
- W3124326917 type Work @default.
- W3124326917 sameAs 3124326917 @default.
- W3124326917 citedByCount "11" @default.
- W3124326917 countsByYear W31243269172012 @default.
- W3124326917 countsByYear W31243269172014 @default.
- W3124326917 countsByYear W31243269172017 @default.
- W3124326917 countsByYear W31243269172019 @default.
- W3124326917 countsByYear W31243269172021 @default.
- W3124326917 crossrefType "journal-article" @default.
- W3124326917 hasAuthorship W3124326917A5080684787 @default.
- W3124326917 hasBestOaLocation W31243269172 @default.
- W3124326917 hasConcept C113174947 @default.
- W3124326917 hasConcept C114614502 @default.
- W3124326917 hasConcept C118615104 @default.
- W3124326917 hasConcept C121332964 @default.
- W3124326917 hasConcept C134306372 @default.
- W3124326917 hasConcept C137877099 @default.
- W3124326917 hasConcept C2778049214 @default.
- W3124326917 hasConcept C2778112365 @default.
- W3124326917 hasConcept C33923547 @default.
- W3124326917 hasConcept C34388435 @default.
- W3124326917 hasConcept C54355233 @default.
- W3124326917 hasConcept C62520636 @default.
- W3124326917 hasConcept C86803240 @default.
- W3124326917 hasConceptScore W3124326917C113174947 @default.
- W3124326917 hasConceptScore W3124326917C114614502 @default.
- W3124326917 hasConceptScore W3124326917C118615104 @default.
- W3124326917 hasConceptScore W3124326917C121332964 @default.
- W3124326917 hasConceptScore W3124326917C134306372 @default.
- W3124326917 hasConceptScore W3124326917C137877099 @default.
- W3124326917 hasConceptScore W3124326917C2778049214 @default.
- W3124326917 hasConceptScore W3124326917C2778112365 @default.
- W3124326917 hasConceptScore W3124326917C33923547 @default.
- W3124326917 hasConceptScore W3124326917C34388435 @default.
- W3124326917 hasConceptScore W3124326917C54355233 @default.
- W3124326917 hasConceptScore W3124326917C62520636 @default.
- W3124326917 hasConceptScore W3124326917C86803240 @default.
- W3124326917 hasIssue "3" @default.
- W3124326917 hasLocation W31243269171 @default.
- W3124326917 hasLocation W31243269172 @default.
- W3124326917 hasLocation W31243269173 @default.
- W3124326917 hasOpenAccess W3124326917 @default.
- W3124326917 hasPrimaryLocation W31243269171 @default.
- W3124326917 hasRelatedWork W1988727344 @default.
- W3124326917 hasRelatedWork W2060039145 @default.
- W3124326917 hasRelatedWork W2099497492 @default.
- W3124326917 hasRelatedWork W3006777378 @default.
- W3124326917 hasRelatedWork W3029018717 @default.
- W3124326917 hasRelatedWork W3105467253 @default.
- W3124326917 hasRelatedWork W4253943746 @default.
- W3124326917 hasRelatedWork W4287865815 @default.
- W3124326917 hasRelatedWork W4301400600 @default.
- W3124326917 hasRelatedWork W4307105233 @default.
- W3124326917 hasVolume "57" @default.
- W3124326917 isParatext "false" @default.
- W3124326917 isRetracted "false" @default.
- W3124326917 magId "3124326917" @default.
- W3124326917 workType "article" @default.