C. Spector

发表

Provably recursive functionals of analysis: a consistency proof of analysis by an extension of princ

C. Spector, 1962 .

On Degrees of Recursive Unsolvability

C. Spector, 1956 .

Measure-theoretic construction of incomparable hyperdegrees

Clifford Spector, C. Spector, 1958, Journal of Symbolic Logic.

Recursive well-orderings

Clifford Spector, C. Spector, 1955, Journal of Symbolic Logic.