|
| << 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 56 van 59 gevonden artikelen
| Titel: |
Tree Representations via Ordinal Machines |
| Auteur: |
Schlicht, Philipp Seyfferth, Benjamin |
| Verschenen in: |
Computability |
| Paginering: | Jaargang 1 (2012) nr. 1 pagina's 45-57 |
| Jaar: |
2012-05-24 |
| Inhoud: |
We study sets of reals computable by ordinal Turing machines with a tape of length the ordinals that are steered by a standard Turing program. The machines halt at some ordinal time or diverge. We construct tree representations for ordinal semi-decidable sets of reals from ordinal computations. The aim is to generalize uniformization results to classes of sets which are semi-decidable by computations with input-dependent bounds on the halting time. We further briefly examine the jump structure and nondeterminism. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 56 van 59 gevonden artikelen
| << vorige | volgende >> |