Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168307447> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2168307447 abstract "A countable structure (with finite signature) is computable if its universe can be identified with ω in such a way as to make the relations and operations computable functions. In this thesis, I study which Boolean algebras and linear orders are computable. Making use of Ketonen invariants, I study the Boolean algebras of low Ketonen depth, both classically and effectively. Classically, I give an explicit characterization of the depth zero Boolean algebras; provide continuum many examples of depth one, rank ω Boolean algebras with range ω + 1; and provide continuum many examples of depth ω, rank one Boolean algebras. Effectively, I show for sets S ⊆ ω + 1 with greatest element, the depth zero Boolean algebras BuS and BvS are computable if and only if S {ω} is n 2n+30in the Feiner Σ-hierarchy. Making use of the existing notion of limitwise monotonic functions and the new notion of limit infimum functions, I characterize which shuffle sums of ordinals below ω + 1 have computable copies. Additionally, I show that the notions of limitwise monotonic functions relative to 0' and limit infimum functions coincide." @default.
- W2168307447 created "2016-06-24" @default.
- W2168307447 creator A5032435178 @default.
- W2168307447 creator A5079381390 @default.
- W2168307447 date "2007-01-01" @default.
- W2168307447 modified "2023-09-24" @default.
- W2168307447 title "Characterizing the computable structures: boolean algebras and linear orders" @default.
- W2168307447 cites W1495615244 @default.
- W2168307447 cites W1505964586 @default.
- W2168307447 cites W1593660953 @default.
- W2168307447 cites W1597540081 @default.
- W2168307447 cites W1972887426 @default.
- W2168307447 cites W1982821787 @default.
- W2168307447 cites W1988281938 @default.
- W2168307447 cites W1989462992 @default.
- W2168307447 cites W2004320988 @default.
- W2168307447 cites W2027507046 @default.
- W2168307447 cites W2037469541 @default.
- W2168307447 cites W2070346525 @default.
- W2168307447 cites W2117832390 @default.
- W2168307447 cites W2165758366 @default.
- W2168307447 cites W2166082757 @default.
- W2168307447 cites W2530006810 @default.
- W2168307447 cites W1599486919 @default.
- W2168307447 hasPublicationYear "2007" @default.
- W2168307447 type Work @default.
- W2168307447 sameAs 2168307447 @default.
- W2168307447 citedByCount "0" @default.
- W2168307447 crossrefType "journal-article" @default.
- W2168307447 hasAuthorship W2168307447A5032435178 @default.
- W2168307447 hasAuthorship W2168307447A5079381390 @default.
- W2168307447 hasConcept C10021369 @default.
- W2168307447 hasConcept C114614502 @default.
- W2168307447 hasConcept C118615104 @default.
- W2168307447 hasConcept C134306372 @default.
- W2168307447 hasConcept C136119220 @default.
- W2168307447 hasConcept C14394260 @default.
- W2168307447 hasConcept C151201525 @default.
- W2168307447 hasConcept C158465420 @default.
- W2168307447 hasConcept C164226766 @default.
- W2168307447 hasConcept C171250308 @default.
- W2168307447 hasConcept C187455244 @default.
- W2168307447 hasConcept C188183281 @default.
- W2168307447 hasConcept C192562407 @default.
- W2168307447 hasConcept C202444582 @default.
- W2168307447 hasConcept C207764348 @default.
- W2168307447 hasConcept C2780841128 @default.
- W2168307447 hasConcept C33923547 @default.
- W2168307447 hasConcept C45503250 @default.
- W2168307447 hasConcept C72169020 @default.
- W2168307447 hasConcept C81518389 @default.
- W2168307447 hasConcept C95611797 @default.
- W2168307447 hasConceptScore W2168307447C10021369 @default.
- W2168307447 hasConceptScore W2168307447C114614502 @default.
- W2168307447 hasConceptScore W2168307447C118615104 @default.
- W2168307447 hasConceptScore W2168307447C134306372 @default.
- W2168307447 hasConceptScore W2168307447C136119220 @default.
- W2168307447 hasConceptScore W2168307447C14394260 @default.
- W2168307447 hasConceptScore W2168307447C151201525 @default.
- W2168307447 hasConceptScore W2168307447C158465420 @default.
- W2168307447 hasConceptScore W2168307447C164226766 @default.
- W2168307447 hasConceptScore W2168307447C171250308 @default.
- W2168307447 hasConceptScore W2168307447C187455244 @default.
- W2168307447 hasConceptScore W2168307447C188183281 @default.
- W2168307447 hasConceptScore W2168307447C192562407 @default.
- W2168307447 hasConceptScore W2168307447C202444582 @default.
- W2168307447 hasConceptScore W2168307447C207764348 @default.
- W2168307447 hasConceptScore W2168307447C2780841128 @default.
- W2168307447 hasConceptScore W2168307447C33923547 @default.
- W2168307447 hasConceptScore W2168307447C45503250 @default.
- W2168307447 hasConceptScore W2168307447C72169020 @default.
- W2168307447 hasConceptScore W2168307447C81518389 @default.
- W2168307447 hasConceptScore W2168307447C95611797 @default.
- W2168307447 hasLocation W21683074471 @default.
- W2168307447 hasOpenAccess W2168307447 @default.
- W2168307447 hasPrimaryLocation W21683074471 @default.
- W2168307447 hasRelatedWork W1484594794 @default.
- W2168307447 hasRelatedWork W1623793031 @default.
- W2168307447 hasRelatedWork W1980490848 @default.
- W2168307447 hasRelatedWork W1982777781 @default.
- W2168307447 hasRelatedWork W1997325822 @default.
- W2168307447 hasRelatedWork W2005021983 @default.
- W2168307447 hasRelatedWork W2040792986 @default.
- W2168307447 hasRelatedWork W2044599148 @default.
- W2168307447 hasRelatedWork W2051531869 @default.
- W2168307447 hasRelatedWork W2063072330 @default.
- W2168307447 hasRelatedWork W2165758366 @default.
- W2168307447 hasRelatedWork W2498493586 @default.
- W2168307447 hasRelatedWork W2555814233 @default.
- W2168307447 hasRelatedWork W2593290804 @default.
- W2168307447 hasRelatedWork W2808257774 @default.
- W2168307447 hasRelatedWork W2996497805 @default.
- W2168307447 hasRelatedWork W3036808276 @default.
- W2168307447 hasRelatedWork W67380241 @default.
- W2168307447 hasRelatedWork W2024339934 @default.
- W2168307447 hasRelatedWork W3148239413 @default.
- W2168307447 isParatext "false" @default.
- W2168307447 isRetracted "false" @default.
- W2168307447 magId "2168307447" @default.
- W2168307447 workType "article" @default.