Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601402541> ?p ?o ?g. }
- W1601402541 abstract "In this thesis, we study computable content of existing classical theorems on linearisations of partial orderings and automorphisms of linear orderings, and provide computational refinements in terms of the Ershov hierarchy. In Chapter 2, we examine questions as to the constructiveness of linearisations obtained in terms of the Ershov hierarchy, while respecting particular constraints.The main result here entails a proof that every computably well-founded computable partial ordering has a computably well-founded ω-c.e. linear extension. In Chapter 3, we examine questions as to how less constructive rigidities ofcertain order types break down within the context of the Ershov hierarchy, and introduce uniform Δ02 classes as likely candidates in the case of order types 2.ηand ω + ς." @default.
- W1601402541 created "2016-06-24" @default.
- W1601402541 creator A5005355351 @default.
- W1601402541 date "2011-09-01" @default.
- W1601402541 modified "2023-09-23" @default.
- W1601402541 title "Automorphisms and linearisations of computable orderings" @default.
- W1601402541 cites W105773340 @default.
- W1601402541 cites W1483568252 @default.
- W1601402541 cites W1515663676 @default.
- W1601402541 cites W1538838225 @default.
- W1601402541 cites W1556453281 @default.
- W1601402541 cites W1556737389 @default.
- W1601402541 cites W1579696469 @default.
- W1601402541 cites W159715351 @default.
- W1601402541 cites W188523141 @default.
- W1601402541 cites W1967629533 @default.
- W1601402541 cites W1970654545 @default.
- W1601402541 cites W1982821787 @default.
- W1601402541 cites W1985409003 @default.
- W1601402541 cites W198811082 @default.
- W1601402541 cites W1992932719 @default.
- W1601402541 cites W2002729262 @default.
- W1601402541 cites W2005080353 @default.
- W1601402541 cites W2014540725 @default.
- W1601402541 cites W2015965037 @default.
- W1601402541 cites W2016891068 @default.
- W1601402541 cites W2028592975 @default.
- W1601402541 cites W2032265322 @default.
- W1601402541 cites W2033957959 @default.
- W1601402541 cites W2036869460 @default.
- W1601402541 cites W2037320888 @default.
- W1601402541 cites W2040069378 @default.
- W1601402541 cites W2045033949 @default.
- W1601402541 cites W2056414301 @default.
- W1601402541 cites W2057392475 @default.
- W1601402541 cites W2068260603 @default.
- W1601402541 cites W2083713063 @default.
- W1601402541 cites W2087237939 @default.
- W1601402541 cites W2110464795 @default.
- W1601402541 cites W2126160338 @default.
- W1601402541 cites W2127316662 @default.
- W1601402541 cites W2132161762 @default.
- W1601402541 cites W2166258826 @default.
- W1601402541 cites W2214311815 @default.
- W1601402541 cites W2279468699 @default.
- W1601402541 cites W2315610131 @default.
- W1601402541 cites W2324179631 @default.
- W1601402541 cites W2334508319 @default.
- W1601402541 cites W2493019513 @default.
- W1601402541 cites W2502130873 @default.
- W1601402541 cites W2530006810 @default.
- W1601402541 cites W2616606085 @default.
- W1601402541 cites W623765668 @default.
- W1601402541 hasPublicationYear "2011" @default.
- W1601402541 type Work @default.
- W1601402541 sameAs 1601402541 @default.
- W1601402541 citedByCount "1" @default.
- W1601402541 countsByYear W16014025412014 @default.
- W1601402541 crossrefType "dissertation" @default.
- W1601402541 hasAuthorship W1601402541A5005355351 @default.
- W1601402541 hasConcept C10138342 @default.
- W1601402541 hasConcept C118615104 @default.
- W1601402541 hasConcept C118712358 @default.
- W1601402541 hasConcept C136119220 @default.
- W1601402541 hasConcept C151730666 @default.
- W1601402541 hasConcept C162324750 @default.
- W1601402541 hasConcept C182306322 @default.
- W1601402541 hasConcept C199360897 @default.
- W1601402541 hasConcept C202444582 @default.
- W1601402541 hasConcept C2778029271 @default.
- W1601402541 hasConcept C2778701210 @default.
- W1601402541 hasConcept C2779343474 @default.
- W1601402541 hasConcept C31170391 @default.
- W1601402541 hasConcept C33923547 @default.
- W1601402541 hasConcept C34447519 @default.
- W1601402541 hasConcept C41008148 @default.
- W1601402541 hasConcept C86803240 @default.
- W1601402541 hasConcept C98045186 @default.
- W1601402541 hasConceptScore W1601402541C10138342 @default.
- W1601402541 hasConceptScore W1601402541C118615104 @default.
- W1601402541 hasConceptScore W1601402541C118712358 @default.
- W1601402541 hasConceptScore W1601402541C136119220 @default.
- W1601402541 hasConceptScore W1601402541C151730666 @default.
- W1601402541 hasConceptScore W1601402541C162324750 @default.
- W1601402541 hasConceptScore W1601402541C182306322 @default.
- W1601402541 hasConceptScore W1601402541C199360897 @default.
- W1601402541 hasConceptScore W1601402541C202444582 @default.
- W1601402541 hasConceptScore W1601402541C2778029271 @default.
- W1601402541 hasConceptScore W1601402541C2778701210 @default.
- W1601402541 hasConceptScore W1601402541C2779343474 @default.
- W1601402541 hasConceptScore W1601402541C31170391 @default.
- W1601402541 hasConceptScore W1601402541C33923547 @default.
- W1601402541 hasConceptScore W1601402541C34447519 @default.
- W1601402541 hasConceptScore W1601402541C41008148 @default.
- W1601402541 hasConceptScore W1601402541C86803240 @default.
- W1601402541 hasConceptScore W1601402541C98045186 @default.
- W1601402541 hasLocation W16014025411 @default.
- W1601402541 hasOpenAccess W1601402541 @default.
- W1601402541 hasPrimaryLocation W16014025411 @default.
- W1601402541 hasRelatedWork W1492946114 @default.