Higher-order feedback computation

DOI10.1007/978-3-031-64309-5_24MaRDI QIDQ7030897zbMATH OpenFDO

Authors Juan P. Aguilera, Robert S. Lubarsky

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-64309-5_24

zbMATH Keywords

feedback computationfixed-point operatorsTuring computation

Mathematics Subject Classification ID

Classical models of computation (Turing machines, etc.) (68Q04)

Cites work

• μ-definable sets of integers
• An introduction to feedback Turing computability
• Computer Science Logic
• Descriptive set theory
• Feedback computability on Cantor space
• Feedback hyperjump
• Feedback Turing computability, and Turing computability as feedback
• Fixpoints, games and the difference hierarchy
• scientific article; zbMATH DE number 1882496 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Results on the propositional \(\mu\)-calculus
• The modal mu-calculus alternation hierarchy is strict

This page was built for publication: Higher-order feedback computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7030897)