Concepedia

Nondeterministic Ω‐Computations and the Analytical Hierarchy

José Castro, Felipe Cucker

Mathematical logic quarterly · 1989 · 20 citations · 6 references

DOI

Concepts

References

6

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

, , +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

, , +14

Weak Second‐Order Arithmetic and Finite Automata

J Büchi · Mathematical logic quarterly · 1960 · 819 citations

, , +9

Hierarchies of number-theoretic predicates

S. C. Kleene · Bulletin of the American Mathematical Society · 1955 · 184 citations · Full text

, , +12

Arithmetical predicates and function quantifiers

S. C. Kleene · Transactions of the American Mathematical Society · 1955 · 166 citations · Full text

, , +5