Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294966264> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2294966264 endingPage "105" @default.
- W2294966264 startingPage "93" @default.
- W2294966264 abstract "We continue work from (Greenberg and Knight, To appear) on computable structure theory in the setting of !1, where the countable ordinals play the role of natural numbers, and countable sets play the role of finite sets. In the present paper, we define the arithmetical hierarchy through all countable levels (not just the finite levels). We consider two different ways of doing this—one based on the standard definition of the hyperarithmetical hierarchy, and the other based on the standard definition of the effective Borel hierarchy. For each definition, we define computable infinitary formulas through all countable levels, and we obtain analogues of the well-known results from (Ash and Knight, 1989) and (Chisholm, 1990) saying that a relation is relatively intrinsically 0 just in case it is definable by a computable formula. Although we obtain the same results for the two definitions of the arithmetical hierarchy, we conclude that the definition resembling the standard definition of the hyperarithmetical hierarchy seems preferable." @default.
- W2294966264 created "2016-06-24" @default.
- W2294966264 creator A5011506426 @default.
- W2294966264 creator A5029091662 @default.
- W2294966264 creator A5044062358 @default.
- W2294966264 creator A5046525814 @default.
- W2294966264 creator A5067959846 @default.
- W2294966264 creator A5077559962 @default.
- W2294966264 date "2013-01-01" @default.
- W2294966264 modified "2023-09-23" @default.
- W2294966264 title "The Arithmetical Hierarchy in the Setting of ω 1 ." @default.
- W2294966264 cites W1976089169 @default.
- W2294966264 cites W1982821787 @default.
- W2294966264 cites W2042181181 @default.
- W2294966264 cites W2122092051 @default.
- W2294966264 cites W2304629415 @default.
- W2294966264 hasPublicationYear "2013" @default.
- W2294966264 type Work @default.
- W2294966264 sameAs 2294966264 @default.
- W2294966264 citedByCount "3" @default.
- W2294966264 countsByYear W22949662642014 @default.
- W2294966264 countsByYear W22949662642017 @default.
- W2294966264 crossrefType "journal-article" @default.
- W2294966264 hasAuthorship W2294966264A5011506426 @default.
- W2294966264 hasAuthorship W2294966264A5029091662 @default.
- W2294966264 hasAuthorship W2294966264A5044062358 @default.
- W2294966264 hasAuthorship W2294966264A5046525814 @default.
- W2294966264 hasAuthorship W2294966264A5067959846 @default.
- W2294966264 hasAuthorship W2294966264A5077559962 @default.
- W2294966264 hasConcept C110729354 @default.
- W2294966264 hasConcept C112343008 @default.
- W2294966264 hasConcept C118615104 @default.
- W2294966264 hasConcept C144237770 @default.
- W2294966264 hasConcept C162324750 @default.
- W2294966264 hasConcept C166758865 @default.
- W2294966264 hasConcept C176053320 @default.
- W2294966264 hasConcept C184264201 @default.
- W2294966264 hasConcept C202444582 @default.
- W2294966264 hasConcept C21031990 @default.
- W2294966264 hasConcept C25942563 @default.
- W2294966264 hasConcept C31170391 @default.
- W2294966264 hasConcept C33923547 @default.
- W2294966264 hasConcept C34447519 @default.
- W2294966264 hasConcept C87345402 @default.
- W2294966264 hasConceptScore W2294966264C110729354 @default.
- W2294966264 hasConceptScore W2294966264C112343008 @default.
- W2294966264 hasConceptScore W2294966264C118615104 @default.
- W2294966264 hasConceptScore W2294966264C144237770 @default.
- W2294966264 hasConceptScore W2294966264C162324750 @default.
- W2294966264 hasConceptScore W2294966264C166758865 @default.
- W2294966264 hasConceptScore W2294966264C176053320 @default.
- W2294966264 hasConceptScore W2294966264C184264201 @default.
- W2294966264 hasConceptScore W2294966264C202444582 @default.
- W2294966264 hasConceptScore W2294966264C21031990 @default.
- W2294966264 hasConceptScore W2294966264C25942563 @default.
- W2294966264 hasConceptScore W2294966264C31170391 @default.
- W2294966264 hasConceptScore W2294966264C33923547 @default.
- W2294966264 hasConceptScore W2294966264C34447519 @default.
- W2294966264 hasConceptScore W2294966264C87345402 @default.
- W2294966264 hasLocation W22949662641 @default.
- W2294966264 hasOpenAccess W2294966264 @default.
- W2294966264 hasPrimaryLocation W22949662641 @default.
- W2294966264 hasRelatedWork W1038053132 @default.
- W2294966264 hasRelatedWork W1491710345 @default.
- W2294966264 hasRelatedWork W149671515 @default.
- W2294966264 hasRelatedWork W1509342882 @default.
- W2294966264 hasRelatedWork W1782244868 @default.
- W2294966264 hasRelatedWork W1898535578 @default.
- W2294966264 hasRelatedWork W2035905643 @default.
- W2294966264 hasRelatedWork W2047923539 @default.
- W2294966264 hasRelatedWork W2054365997 @default.
- W2294966264 hasRelatedWork W2070505363 @default.
- W2294966264 hasRelatedWork W2087185740 @default.
- W2294966264 hasRelatedWork W2089947806 @default.
- W2294966264 hasRelatedWork W2100730815 @default.
- W2294966264 hasRelatedWork W2150923863 @default.
- W2294966264 hasRelatedWork W2164958327 @default.
- W2294966264 hasRelatedWork W2767252625 @default.
- W2294966264 hasRelatedWork W2778271082 @default.
- W2294966264 hasRelatedWork W3022550386 @default.
- W2294966264 hasRelatedWork W3092261656 @default.
- W2294966264 hasRelatedWork W2134347995 @default.
- W2294966264 hasVolume "2" @default.
- W2294966264 isParatext "false" @default.
- W2294966264 isRetracted "false" @default.
- W2294966264 magId "2294966264" @default.
- W2294966264 workType "article" @default.