Olivier Finkel

collaborators

2 papers

math.LO2025

Toward higher-order infinite time Turing machines: simulational $Γ$ -machines

Olivier Bournez, Olivier Finkel, Johan Girardot

Infinite time Turing machines (ITTMs) have been introduced by Hamkins and Lewis in their seminal article arXiv:math/9808093. The strength of the model comes from a limit rule which…

cs.LO2024

Wadge degrees of $Δ_{2}^{0}$ omega-powers

Olivier Finkel, Dominique Lecomte

We provide, for each natural number $n$ and each class among $D_{n} (Σ_{1}^{0})$ , $D ˉ_{n} (Σ_{1}^{0})$ and $D_{2 n + 1} (Σ_{1}^{0}) \oplus D ˉ_{2 n + 1} (Σ_{1}^{0})$ , a regular language whose associated om…

Toward higher-order infinite time Turing machines: simulational Γ-machines

Wadge degrees of Δ20​ omega-powers

Toward higher-order infinite time Turing machines: simulational $Γ$ -machines

Wadge degrees of $Δ_{2}^{0}$ omega-powers