Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953087966> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2953087966 abstract "In this paper we introduce hyperations and cohyperations, which are forms of transfinite iteration of ordinal functions. Hyperations are iterations of normal functions. Unlike iteration by pointwise convergence, hyperation preserves normality. The hyperation of a normal function f is a sequence of normal functions so that f^0= id, f^1 = f and for all ordinals alpha, beta we have that f^(alpha + beta) = f^alpha f^beta. These conditions do not determine f^alpha uniquely; in addition, we require that the functions be minimal in an appropriate sense. We study hyperations systematically and show that they are a natural refinement of Veblen progressions. Next, we define cohyperations, very similar to hyperations except that they are left-additive: given alpha, beta, f^(alpha + beta)= f^beta f^alpha. Cohyperations iterate initial functions which are functions that map initial segments to initial segments. We systematically study cohyperations and see how they can be employed to define left inverses to hyperations. Hyperations provide an alternative presentation of Veblen progressions and can be useful where a more fine-grained analysis of such sequences is called for. They are very amenable to algebraic manipulation and hence are convenient to work with. Cohyperations, meanwhile, give a novel way to describe slowly increasing functions as often appear, for example, in proof theory." @default.
- W2953087966 created "2019-06-27" @default.
- W2953087966 creator A5080309379 @default.
- W2953087966 creator A5086500294 @default.
- W2953087966 date "2012-05-09" @default.
- W2953087966 modified "2023-09-27" @default.
- W2953087966 title "Hyperations, Veblen progressions and transfinite iterations of ordinal functions" @default.
- W2953087966 cites W144641616 @default.
- W2953087966 cites W1968919754 @default.
- W2953087966 cites W1994332324 @default.
- W2953087966 cites W2003007940 @default.
- W2953087966 cites W2016653553 @default.
- W2953087966 cites W2020050887 @default.
- W2953087966 cites W2066527932 @default.
- W2953087966 cites W2117465430 @default.
- W2953087966 cites W3039529476 @default.
- W2953087966 hasPublicationYear "2012" @default.
- W2953087966 type Work @default.
- W2953087966 sameAs 2953087966 @default.
- W2953087966 citedByCount "1" @default.
- W2953087966 countsByYear W29530879662012 @default.
- W2953087966 crossrefType "posted-content" @default.
- W2953087966 hasAuthorship W2953087966A5080309379 @default.
- W2953087966 hasAuthorship W2953087966A5086500294 @default.
- W2953087966 hasConcept C105795698 @default.
- W2953087966 hasConcept C114614502 @default.
- W2953087966 hasConcept C118615104 @default.
- W2953087966 hasConcept C134306372 @default.
- W2953087966 hasConcept C14036430 @default.
- W2953087966 hasConcept C147358099 @default.
- W2953087966 hasConcept C171606756 @default.
- W2953087966 hasConcept C199360897 @default.
- W2953087966 hasConcept C202444582 @default.
- W2953087966 hasConcept C2776174256 @default.
- W2953087966 hasConcept C2777984123 @default.
- W2953087966 hasConcept C2778112365 @default.
- W2953087966 hasConcept C33923547 @default.
- W2953087966 hasConcept C41008148 @default.
- W2953087966 hasConcept C49453240 @default.
- W2953087966 hasConcept C54355233 @default.
- W2953087966 hasConcept C64943373 @default.
- W2953087966 hasConcept C78458016 @default.
- W2953087966 hasConcept C86803240 @default.
- W2953087966 hasConceptScore W2953087966C105795698 @default.
- W2953087966 hasConceptScore W2953087966C114614502 @default.
- W2953087966 hasConceptScore W2953087966C118615104 @default.
- W2953087966 hasConceptScore W2953087966C134306372 @default.
- W2953087966 hasConceptScore W2953087966C14036430 @default.
- W2953087966 hasConceptScore W2953087966C147358099 @default.
- W2953087966 hasConceptScore W2953087966C171606756 @default.
- W2953087966 hasConceptScore W2953087966C199360897 @default.
- W2953087966 hasConceptScore W2953087966C202444582 @default.
- W2953087966 hasConceptScore W2953087966C2776174256 @default.
- W2953087966 hasConceptScore W2953087966C2777984123 @default.
- W2953087966 hasConceptScore W2953087966C2778112365 @default.
- W2953087966 hasConceptScore W2953087966C33923547 @default.
- W2953087966 hasConceptScore W2953087966C41008148 @default.
- W2953087966 hasConceptScore W2953087966C49453240 @default.
- W2953087966 hasConceptScore W2953087966C54355233 @default.
- W2953087966 hasConceptScore W2953087966C64943373 @default.
- W2953087966 hasConceptScore W2953087966C78458016 @default.
- W2953087966 hasConceptScore W2953087966C86803240 @default.
- W2953087966 hasLocation W29530879661 @default.
- W2953087966 hasOpenAccess W2953087966 @default.
- W2953087966 hasPrimaryLocation W29530879661 @default.
- W2953087966 hasRelatedWork W1646572996 @default.
- W2953087966 hasRelatedWork W180985206 @default.
- W2953087966 hasRelatedWork W1995620212 @default.
- W2953087966 hasRelatedWork W2071530339 @default.
- W2953087966 hasRelatedWork W2136768003 @default.
- W2953087966 hasRelatedWork W2179516467 @default.
- W2953087966 hasRelatedWork W2253934870 @default.
- W2953087966 hasRelatedWork W2256244571 @default.
- W2953087966 hasRelatedWork W2398028309 @default.
- W2953087966 hasRelatedWork W2405784937 @default.
- W2953087966 hasRelatedWork W2576312643 @default.
- W2953087966 hasRelatedWork W2605290514 @default.
- W2953087966 hasRelatedWork W2754677603 @default.
- W2953087966 hasRelatedWork W2949435677 @default.
- W2953087966 hasRelatedWork W2951320393 @default.
- W2953087966 hasRelatedWork W2965428307 @default.
- W2953087966 hasRelatedWork W3022220986 @default.
- W2953087966 hasRelatedWork W3129691901 @default.
- W2953087966 hasRelatedWork W785845531 @default.
- W2953087966 hasRelatedWork W85281963 @default.
- W2953087966 isParatext "false" @default.
- W2953087966 isRetracted "false" @default.
- W2953087966 magId "2953087966" @default.
- W2953087966 workType "article" @default.