Hierarchies in Recursive Function Theory
From MaRDI portal
Cites work
- Arithmetical Predicates and Function Quantifiers
- Constructive Versions of Ordinal Number Classes
- Hierarchies in Recursive Function Theory
- Hierarchies of number-theoretic predicates
- scientific article; zbMATH DE number 3131080 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- On degrees of recursive unsolvability
- On notation for ordinal numbers
- Ordinal Numbers and Predicative Set Theory
- Recursive Functions Over Well Ordered Partial Orderings
- Recursive well-orderings
- The upper semi-lattice of degrees of recursive unsolvability
Cited in
(10)- Lindelöf type of generalization of separability in Banach spaces
- Universal grammars
- On a class of recursive hierarchies
- On the antisymmetry of Galois embeddings
- Convex-transitivity and function spaces
- Extracting long basic sequences from systems of dispersed vectors
- Some properties of equivalence soft set relations
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
- On Minimal and Almost-Minimal Systems of Notations
- Hierarchies in Recursive Function Theory
This page was built for publication: Hierarchies in Recursive Function Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5626638)
