Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064411692> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2064411692 abstract "Abstract Let Ω be the least uncountable ordinal. Let be the category where the objects are the countable ordinals and where the morphisms are the strictly monotonic increasing functions. A dilator is a functor on which preserves direct limits and pullbacks. Let τ < Ω E ≔ min{ ξ > Ω: ξ = ω ξ }. Then τ has a unique “term”-representation in Ω. λξη.ω ξ + η and countable ordinals called the constituents of τ . Let δ < Ω and K ( τ ) be the set of the constituents of τ . Let β = max K ( τ ). Let [ β ] be an occurrence of β in τ such that τ [ β ] = τ . Let be the fixed point-free version of the binary Aczel-Buchholz-Feferman-function (which is defined explicitly in the text below) which generates the Bachman-hierarchy of ordinals. It is shown by elementary calculations that is a dilator for every γ > max{ β.δ.ω }." @default.
- W2064411692 created "2016-06-24" @default.
- W2064411692 creator A5056618682 @default.
- W2064411692 date "1994-09-01" @default.
- W2064411692 modified "2023-09-23" @default.
- W2064411692 title "A functorial property of the Aczel-Buchholz-Feferman function " @default.
- W2064411692 cites W1513636380 @default.
- W2064411692 cites W1968919754 @default.
- W2064411692 cites W1980969069 @default.
- W2064411692 cites W2066527932 @default.
- W2064411692 cites W2110426066 @default.
- W2064411692 cites W2117465430 @default.
- W2064411692 cites W2128232543 @default.
- W2064411692 cites W2272162156 @default.
- W2064411692 cites W3038873949 @default.
- W2064411692 doi "https://doi.org/10.2307/2275919" @default.
- W2064411692 hasPublicationYear "1994" @default.
- W2064411692 type Work @default.
- W2064411692 sameAs 2064411692 @default.
- W2064411692 citedByCount "3" @default.
- W2064411692 crossrefType "journal-article" @default.
- W2064411692 hasAuthorship W2064411692A5056618682 @default.
- W2064411692 hasConcept C110729354 @default.
- W2064411692 hasConcept C114614502 @default.
- W2064411692 hasConcept C118615104 @default.
- W2064411692 hasConcept C14036430 @default.
- W2064411692 hasConcept C142399903 @default.
- W2064411692 hasConcept C156772000 @default.
- W2064411692 hasConcept C202444582 @default.
- W2064411692 hasConcept C33923547 @default.
- W2064411692 hasConcept C78458016 @default.
- W2064411692 hasConcept C86803240 @default.
- W2064411692 hasConcept C89507440 @default.
- W2064411692 hasConceptScore W2064411692C110729354 @default.
- W2064411692 hasConceptScore W2064411692C114614502 @default.
- W2064411692 hasConceptScore W2064411692C118615104 @default.
- W2064411692 hasConceptScore W2064411692C14036430 @default.
- W2064411692 hasConceptScore W2064411692C142399903 @default.
- W2064411692 hasConceptScore W2064411692C156772000 @default.
- W2064411692 hasConceptScore W2064411692C202444582 @default.
- W2064411692 hasConceptScore W2064411692C33923547 @default.
- W2064411692 hasConceptScore W2064411692C78458016 @default.
- W2064411692 hasConceptScore W2064411692C86803240 @default.
- W2064411692 hasConceptScore W2064411692C89507440 @default.
- W2064411692 hasLocation W20644116921 @default.
- W2064411692 hasOpenAccess W2064411692 @default.
- W2064411692 hasPrimaryLocation W20644116921 @default.
- W2064411692 hasRelatedWork W1501002175 @default.
- W2064411692 hasRelatedWork W1501009691 @default.
- W2064411692 hasRelatedWork W1538195225 @default.
- W2064411692 hasRelatedWork W1966560915 @default.
- W2064411692 hasRelatedWork W1976681256 @default.
- W2064411692 hasRelatedWork W1991372949 @default.
- W2064411692 hasRelatedWork W1996915872 @default.
- W2064411692 hasRelatedWork W2001752461 @default.
- W2064411692 hasRelatedWork W2024474521 @default.
- W2064411692 hasRelatedWork W2032455554 @default.
- W2064411692 hasRelatedWork W2036283644 @default.
- W2064411692 hasRelatedWork W2129802687 @default.
- W2064411692 hasRelatedWork W2130593600 @default.
- W2064411692 hasRelatedWork W2167651941 @default.
- W2064411692 hasRelatedWork W2174147779 @default.
- W2064411692 hasRelatedWork W2270310008 @default.
- W2064411692 hasRelatedWork W2612178054 @default.
- W2064411692 hasRelatedWork W2963588091 @default.
- W2064411692 hasRelatedWork W3097141463 @default.
- W2064411692 hasRelatedWork W3101633617 @default.
- W2064411692 isParatext "false" @default.
- W2064411692 isRetracted "false" @default.
- W2064411692 magId "2064411692" @default.
- W2064411692 workType "article" @default.