Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293500159> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4293500159 abstract "We introduce a framework for ordinal notation systems, present a family of strong yet simple systems, and give many examples of ordinals in these systems. While much of the material is conjectural, we include systems with conjectured strength beyond second order arithmetic (and plausibly beyond ZFC), and prove well-foundedness for some weakened versions." @default.
- W4293500159 created "2022-08-29" @default.
- W4293500159 creator A5058010070 @default.
- W4293500159 date "2016-10-13" @default.
- W4293500159 modified "2023-09-27" @default.
- W4293500159 title "Ordinal Notation" @default.
- W4293500159 doi "https://doi.org/10.48550/arxiv.1610.04633" @default.
- W4293500159 hasPublicationYear "2016" @default.
- W4293500159 type Work @default.
- W4293500159 citedByCount "0" @default.
- W4293500159 crossrefType "posted-content" @default.
- W4293500159 hasAuthorship W4293500159A5058010070 @default.
- W4293500159 hasBestOaLocation W42935001591 @default.
- W4293500159 hasConcept C10138342 @default.
- W4293500159 hasConcept C111472728 @default.
- W4293500159 hasConcept C118615104 @default.
- W4293500159 hasConcept C136119220 @default.
- W4293500159 hasConcept C138885662 @default.
- W4293500159 hasConcept C162324750 @default.
- W4293500159 hasConcept C182306322 @default.
- W4293500159 hasConcept C202444582 @default.
- W4293500159 hasConcept C2780586882 @default.
- W4293500159 hasConcept C33923547 @default.
- W4293500159 hasConcept C41008148 @default.
- W4293500159 hasConcept C45357846 @default.
- W4293500159 hasConcept C65148605 @default.
- W4293500159 hasConcept C94375191 @default.
- W4293500159 hasConcept C97489613 @default.
- W4293500159 hasConceptScore W4293500159C10138342 @default.
- W4293500159 hasConceptScore W4293500159C111472728 @default.
- W4293500159 hasConceptScore W4293500159C118615104 @default.
- W4293500159 hasConceptScore W4293500159C136119220 @default.
- W4293500159 hasConceptScore W4293500159C138885662 @default.
- W4293500159 hasConceptScore W4293500159C162324750 @default.
- W4293500159 hasConceptScore W4293500159C182306322 @default.
- W4293500159 hasConceptScore W4293500159C202444582 @default.
- W4293500159 hasConceptScore W4293500159C2780586882 @default.
- W4293500159 hasConceptScore W4293500159C33923547 @default.
- W4293500159 hasConceptScore W4293500159C41008148 @default.
- W4293500159 hasConceptScore W4293500159C45357846 @default.
- W4293500159 hasConceptScore W4293500159C65148605 @default.
- W4293500159 hasConceptScore W4293500159C94375191 @default.
- W4293500159 hasConceptScore W4293500159C97489613 @default.
- W4293500159 hasLocation W42935001591 @default.
- W4293500159 hasOpenAccess W4293500159 @default.
- W4293500159 hasPrimaryLocation W42935001591 @default.
- W4293500159 hasRelatedWork W1842713424 @default.
- W4293500159 hasRelatedWork W1887191277 @default.
- W4293500159 hasRelatedWork W18977309 @default.
- W4293500159 hasRelatedWork W2043070162 @default.
- W4293500159 hasRelatedWork W2230691193 @default.
- W4293500159 hasRelatedWork W2334954212 @default.
- W4293500159 hasRelatedWork W2776018879 @default.
- W4293500159 hasRelatedWork W2794684478 @default.
- W4293500159 hasRelatedWork W2964285269 @default.
- W4293500159 hasRelatedWork W4248389398 @default.
- W4293500159 isParatext "false" @default.
- W4293500159 isRetracted "false" @default.
- W4293500159 workType "article" @default.