Matches in SemOpenAlex for { <https://semopenalex.org/work/W961012551> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W961012551 abstract "Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which characterises this move." @default.
- W961012551 created "2016-06-24" @default.
- W961012551 creator A5017299401 @default.
- W961012551 date "2014-01-01" @default.
- W961012551 modified "2023-09-27" @default.
- W961012551 title "Eliminating the ordinals from proofs. An analysis of transfinite recursion" @default.
- W961012551 cites W1028231612 @default.
- W961012551 cites W146052369 @default.
- W961012551 cites W1507144431 @default.
- W961012551 cites W1544540238 @default.
- W961012551 cites W1562318894 @default.
- W961012551 cites W1597440688 @default.
- W961012551 cites W1604392671 @default.
- W961012551 cites W1607953571 @default.
- W961012551 cites W1980491396 @default.
- W961012551 cites W1984427300 @default.
- W961012551 cites W1989353065 @default.
- W961012551 cites W1997404494 @default.
- W961012551 cites W2015227148 @default.
- W961012551 cites W2043693029 @default.
- W961012551 cites W2055514745 @default.
- W961012551 cites W2056546032 @default.
- W961012551 cites W2079743999 @default.
- W961012551 cites W2093397547 @default.
- W961012551 cites W2475400552 @default.
- W961012551 cites W2489589291 @default.
- W961012551 cites W2494939278 @default.
- W961012551 cites W3179506523 @default.
- W961012551 cites W4594304 @default.
- W961012551 hasPublicationYear "2014" @default.
- W961012551 type Work @default.
- W961012551 sameAs 961012551 @default.
- W961012551 citedByCount "0" @default.
- W961012551 crossrefType "journal-article" @default.
- W961012551 hasAuthorship W961012551A5017299401 @default.
- W961012551 hasConcept C108710211 @default.
- W961012551 hasConcept C11413529 @default.
- W961012551 hasConcept C118615104 @default.
- W961012551 hasConcept C136119220 @default.
- W961012551 hasConcept C147358099 @default.
- W961012551 hasConcept C167729594 @default.
- W961012551 hasConcept C168773036 @default.
- W961012551 hasConcept C177264268 @default.
- W961012551 hasConcept C199343813 @default.
- W961012551 hasConcept C199360897 @default.
- W961012551 hasConcept C202444582 @default.
- W961012551 hasConcept C2318724 @default.
- W961012551 hasConcept C2524010 @default.
- W961012551 hasConcept C2777686260 @default.
- W961012551 hasConcept C33923547 @default.
- W961012551 hasConcept C41008148 @default.
- W961012551 hasConcept C71924100 @default.
- W961012551 hasConceptScore W961012551C108710211 @default.
- W961012551 hasConceptScore W961012551C11413529 @default.
- W961012551 hasConceptScore W961012551C118615104 @default.
- W961012551 hasConceptScore W961012551C136119220 @default.
- W961012551 hasConceptScore W961012551C147358099 @default.
- W961012551 hasConceptScore W961012551C167729594 @default.
- W961012551 hasConceptScore W961012551C168773036 @default.
- W961012551 hasConceptScore W961012551C177264268 @default.
- W961012551 hasConceptScore W961012551C199343813 @default.
- W961012551 hasConceptScore W961012551C199360897 @default.
- W961012551 hasConceptScore W961012551C202444582 @default.
- W961012551 hasConceptScore W961012551C2318724 @default.
- W961012551 hasConceptScore W961012551C2524010 @default.
- W961012551 hasConceptScore W961012551C2777686260 @default.
- W961012551 hasConceptScore W961012551C33923547 @default.
- W961012551 hasConceptScore W961012551C41008148 @default.
- W961012551 hasConceptScore W961012551C71924100 @default.
- W961012551 hasLocation W9610125511 @default.
- W961012551 hasOpenAccess W961012551 @default.
- W961012551 hasPrimaryLocation W9610125511 @default.
- W961012551 hasRelatedWork W127754453 @default.
- W961012551 hasRelatedWork W1589181275 @default.
- W961012551 hasRelatedWork W1596562726 @default.
- W961012551 hasRelatedWork W167110062 @default.
- W961012551 hasRelatedWork W1886820163 @default.
- W961012551 hasRelatedWork W1975904833 @default.
- W961012551 hasRelatedWork W2025499500 @default.
- W961012551 hasRelatedWork W2070984035 @default.
- W961012551 hasRelatedWork W2072163715 @default.
- W961012551 hasRelatedWork W2116240406 @default.
- W961012551 hasRelatedWork W2227392288 @default.
- W961012551 hasRelatedWork W2293817617 @default.
- W961012551 hasRelatedWork W2484922846 @default.
- W961012551 hasRelatedWork W2584778959 @default.
- W961012551 hasRelatedWork W2921801007 @default.
- W961012551 hasRelatedWork W2951398920 @default.
- W961012551 hasRelatedWork W3125250027 @default.
- W961012551 hasRelatedWork W49475005 @default.
- W961012551 hasRelatedWork W90338445 @default.
- W961012551 hasRelatedWork W952432298 @default.
- W961012551 isParatext "false" @default.
- W961012551 isRetracted "false" @default.
- W961012551 magId "961012551" @default.
- W961012551 workType "article" @default.