Concepedia

The Axiom of Choice and the Class of Hyperarithmetic Functions

G. Kreisel

Indagationes Mathematicae (Proceedings) · 1962 · 58 citations · 1 references

DOI

Concepts

References

1

Quantification of number-theoretic functions

S. C. Kleene · French digital mathematics library (Numdam) · 1960 · 67 citations

, , +12