Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300304870> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4300304870 abstract "Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${sf WKL}_0$, ${sf ACA}_0$ and $Pi ^1_ 1$-${sf CA}_0$." @default.
- W4300304870 created "2022-10-03" @default.
- W4300304870 creator A5004660349 @default.
- W4300304870 creator A5030204150 @default.
- W4300304870 creator A5064590936 @default.
- W4300304870 creator A5066230561 @default.
- W4300304870 date "2018-04-25" @default.
- W4300304870 modified "2023-09-26" @default.
- W4300304870 title "Reverse mathematics and colorings of hypergraphs" @default.
- W4300304870 doi "https://doi.org/10.48550/arxiv.1804.09638" @default.
- W4300304870 hasPublicationYear "2018" @default.
- W4300304870 type Work @default.
- W4300304870 citedByCount "0" @default.
- W4300304870 crossrefType "posted-content" @default.
- W4300304870 hasAuthorship W4300304870A5004660349 @default.
- W4300304870 hasAuthorship W4300304870A5030204150 @default.
- W4300304870 hasAuthorship W4300304870A5064590936 @default.
- W4300304870 hasAuthorship W4300304870A5066230561 @default.
- W4300304870 hasBestOaLocation W43003048701 @default.
- W4300304870 hasConcept C10138342 @default.
- W4300304870 hasConcept C114614502 @default.
- W4300304870 hasConcept C118615104 @default.
- W4300304870 hasConcept C127753061 @default.
- W4300304870 hasConcept C132525143 @default.
- W4300304870 hasConcept C149530733 @default.
- W4300304870 hasConcept C162324750 @default.
- W4300304870 hasConcept C167729594 @default.
- W4300304870 hasConcept C182306322 @default.
- W4300304870 hasConcept C203776342 @default.
- W4300304870 hasConcept C2524010 @default.
- W4300304870 hasConcept C2780069185 @default.
- W4300304870 hasConcept C33923547 @default.
- W4300304870 hasConcept C38767284 @default.
- W4300304870 hasConcept C80899671 @default.
- W4300304870 hasConceptScore W4300304870C10138342 @default.
- W4300304870 hasConceptScore W4300304870C114614502 @default.
- W4300304870 hasConceptScore W4300304870C118615104 @default.
- W4300304870 hasConceptScore W4300304870C127753061 @default.
- W4300304870 hasConceptScore W4300304870C132525143 @default.
- W4300304870 hasConceptScore W4300304870C149530733 @default.
- W4300304870 hasConceptScore W4300304870C162324750 @default.
- W4300304870 hasConceptScore W4300304870C167729594 @default.
- W4300304870 hasConceptScore W4300304870C182306322 @default.
- W4300304870 hasConceptScore W4300304870C203776342 @default.
- W4300304870 hasConceptScore W4300304870C2524010 @default.
- W4300304870 hasConceptScore W4300304870C2780069185 @default.
- W4300304870 hasConceptScore W4300304870C33923547 @default.
- W4300304870 hasConceptScore W4300304870C38767284 @default.
- W4300304870 hasConceptScore W4300304870C80899671 @default.
- W4300304870 hasLocation W43003048701 @default.
- W4300304870 hasOpenAccess W4300304870 @default.
- W4300304870 hasPrimaryLocation W43003048701 @default.
- W4300304870 hasRelatedWork W1990989340 @default.
- W4300304870 hasRelatedWork W2002340571 @default.
- W4300304870 hasRelatedWork W2039123376 @default.
- W4300304870 hasRelatedWork W2151059773 @default.
- W4300304870 hasRelatedWork W3006791531 @default.
- W4300304870 hasRelatedWork W3101541854 @default.
- W4300304870 hasRelatedWork W4221162055 @default.
- W4300304870 hasRelatedWork W4287598225 @default.
- W4300304870 hasRelatedWork W4288422293 @default.
- W4300304870 hasRelatedWork W4226111148 @default.
- W4300304870 isParatext "false" @default.
- W4300304870 isRetracted "false" @default.
- W4300304870 workType "article" @default.