Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. S.D.Friedman and G.E.Sacks, Inadmissible recursion theory, Bull.Am.Math.Soc.83(1977)255–256
2. E.L.Post, Recursively enumerable sets of positive integers and their decision problems, Bull.Am.Math.Soc. 50 (1944) 284–316
3. J.Barwise, Admissible Sets and Structures, (Springer,Berlin, 1975)
4. G. Kreisel, Model theoretic invariants: applications to recursive and hyperarithmetic operations, in: J.W.Addison, L.Henkin, A.Tarski, eds.,The Theory of Models (North Holland,Amsterdam,1965)
5. S.D.Friedman, Post's problem without admissibility, to appear