On minimal and almost-minimal systems of notations

On minimal and almost-minimal systems of notations
HTML articles powered by AMS MathViewer

Trans. Amer. Math. Soc. 119 (1965), 86-100

DOI: https://doi.org/10.1090/S0002-9947-1965-0184852-2

PDF | Request permission

References

Martin Davis, Computability and unsolvability, McGraw-Hill Series in Information Processing and Computers, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1958. MR 0124208
H. B. Enderton, Hierarchies in recursive function theory, Trans. Amer. Math. Soc. 111 (1964), 457–471. MR 159755, DOI 10.1090/S0002-9947-1964-0159755-9
Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790

On notation for ordinal numbers

3

S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312–340. MR 70594, DOI 10.1090/S0002-9947-1955-0070594-4
S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955), 193–213. MR 70593, DOI 10.1090/S0002-9904-1955-09896-3
Donald L. Kreider and Hartley Rogers Jr., Constructive versions of ordinal number classes, Trans. Amer. Math. Soc. 100 (1961), 325–369. MR 151396, DOI 10.1090/S0002-9947-1961-0151396-X

Topics in the theory of constructive hierarchies

Hilary Putnam, Uniqueness ordinals in higher constructive number classes, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 190–206. MR 0167413
Hilary Putnam, On hierarchies and systems of notations, Proc. Amer. Math. Soc. 15 (1964), 44–50. MR 157898, DOI 10.1090/S0002-9939-1964-0157898-2
Hartley Rogers Jr., Recursive functions over well ordered partial orderings, Proc. Amer. Math. Soc. 10 (1959), 847–853. MR 111685, DOI 10.1090/S0002-9939-1959-0111685-8
Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
Hao Wang, Ordinal numbers and predicative set theory, Z. Math. Logik Grundlagen Math. 5 (1959), 216–239. MR 132697, DOI 10.1002/malq.19590051403