Rigidity and definability in the noncomputable universe (1994)

by S B Cooper
Venue:in Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science