Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281266769> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2281266769 abstract "We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL0 over RCA0. This con rms a conjecture of Giusto and Simpson [3] that was also phrased as a question in Montalb an's Open questions in reverse mathematics [6]." @default.
- W2281266769 created "2016-06-24" @default.
- W2281266769 creator A5074399186 @default.
- W2281266769 date "2016-06-10" @default.
- W2281266769 modified "2023-09-24" @default.
- W2281266769 title "The reverse mathematics of the Tietze extension theorem" @default.
- W2281266769 cites W1554860413 @default.
- W2281266769 cites W1556453281 @default.
- W2281266769 cites W2099102402 @default.
- W2281266769 cites W2170311001 @default.
- W2281266769 doi "https://doi.org/10.1090/proc/13217" @default.
- W2281266769 hasPublicationYear "2016" @default.
- W2281266769 type Work @default.
- W2281266769 sameAs 2281266769 @default.
- W2281266769 citedByCount "1" @default.
- W2281266769 countsByYear W22812667692022 @default.
- W2281266769 crossrefType "journal-article" @default.
- W2281266769 hasAuthorship W2281266769A5074399186 @default.
- W2281266769 hasBestOaLocation W22812667692 @default.
- W2281266769 hasConcept C118615104 @default.
- W2281266769 hasConcept C127753061 @default.
- W2281266769 hasConcept C167729594 @default.
- W2281266769 hasConcept C199343813 @default.
- W2281266769 hasConcept C199360897 @default.
- W2281266769 hasConcept C202444582 @default.
- W2281266769 hasConcept C2524010 @default.
- W2281266769 hasConcept C2777686260 @default.
- W2281266769 hasConcept C2778029271 @default.
- W2281266769 hasConcept C2780990831 @default.
- W2281266769 hasConcept C33923547 @default.
- W2281266769 hasConcept C41008148 @default.
- W2281266769 hasConcept C71924100 @default.
- W2281266769 hasConceptScore W2281266769C118615104 @default.
- W2281266769 hasConceptScore W2281266769C127753061 @default.
- W2281266769 hasConceptScore W2281266769C167729594 @default.
- W2281266769 hasConceptScore W2281266769C199343813 @default.
- W2281266769 hasConceptScore W2281266769C199360897 @default.
- W2281266769 hasConceptScore W2281266769C202444582 @default.
- W2281266769 hasConceptScore W2281266769C2524010 @default.
- W2281266769 hasConceptScore W2281266769C2777686260 @default.
- W2281266769 hasConceptScore W2281266769C2778029271 @default.
- W2281266769 hasConceptScore W2281266769C2780990831 @default.
- W2281266769 hasConceptScore W2281266769C33923547 @default.
- W2281266769 hasConceptScore W2281266769C41008148 @default.
- W2281266769 hasConceptScore W2281266769C71924100 @default.
- W2281266769 hasLocation W22812667691 @default.
- W2281266769 hasLocation W22812667692 @default.
- W2281266769 hasLocation W22812667693 @default.
- W2281266769 hasOpenAccess W2281266769 @default.
- W2281266769 hasPrimaryLocation W22812667691 @default.
- W2281266769 hasRelatedWork W1635668281 @default.
- W2281266769 hasRelatedWork W1984064613 @default.
- W2281266769 hasRelatedWork W1989209921 @default.
- W2281266769 hasRelatedWork W2073592326 @default.
- W2281266769 hasRelatedWork W2088482719 @default.
- W2281266769 hasRelatedWork W2093472053 @default.
- W2281266769 hasRelatedWork W2098850814 @default.
- W2281266769 hasRelatedWork W2100790999 @default.
- W2281266769 hasRelatedWork W2111968118 @default.
- W2281266769 hasRelatedWork W2115753942 @default.
- W2281266769 hasRelatedWork W2212345395 @default.
- W2281266769 hasRelatedWork W2317342942 @default.
- W2281266769 hasRelatedWork W2364905853 @default.
- W2281266769 hasRelatedWork W2398066697 @default.
- W2281266769 hasRelatedWork W2532759974 @default.
- W2281266769 hasRelatedWork W2752833463 @default.
- W2281266769 hasRelatedWork W2959738853 @default.
- W2281266769 hasRelatedWork W3192311488 @default.
- W2281266769 hasRelatedWork W3209861372 @default.
- W2281266769 hasRelatedWork W626536320 @default.
- W2281266769 isParatext "false" @default.
- W2281266769 isRetracted "false" @default.
- W2281266769 magId "2281266769" @default.
- W2281266769 workType "article" @default.