On Processes and Structures
From MaRDI portal
Publication:5326386
DOI10.1007/978-3-642-39053-1_46zbMath1433.03119OpenAlexW2276193308MaRDI QIDQ5326386
Publication date: 5 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39053-1_46
Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Computation over the reals, computable analysis (03D78)
Related Items
Generalized hyperarithmetical computability over structures, Processes and structures on approximation spaces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The jump operation for structure degrees
- The theory of A-spaces
- A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
- Degrees of presentability of structures. I
- Degrees of presentability of structures. II
- Notes on the Jump of a Structure
- A Jump Inversion Theorem for the Degree Spectra
- A Jump Inversion Theorem for the Degree Spectra
- New Computational Paradigms
- Theory and Applications of Models of Computation