|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 52 van 56 gevonden artikelen
| Titel: |
The Arithmetical Hierarchy in the Setting of $\omega_1$ |
| Auteur: |
Carson, Jacob Johnson, Jesse Knight, Julia Lange, Karen McCoy, Charles Wallbaum, John |
| Verschenen in: |
Computability |
| Paginering: | Jaargang 2 (2013) nr. 2 pagina's 93-105 |
| Jaar: |
2013-12-10 |
| Inhoud: |
We continue work from (Greenberg and Knight) on computable structure theory in the setting of $\omega_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 $\Sigma^0_\alpha$ just in case it is definable by a computable $\Sigma_\alpha$ 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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 52 van 56 gevonden artikelen
| << vorige | volgende >> |