Measure and category in effective descriptive set theory

[1]  Yiannis N. Moschovakis.  Analytical Definability in a Playful Universe , 1973 .

[2]  Yiannis N. Moschovakis,et al.  Two theorems about projective sets , 1972 .

[3]  Yiannis N. Moschovakis,et al.  Uniformization in a playful universe , 1971 .

[4]  J. C. Oxtoby.  Measure and Category , 1971 .

[5]  Hisao Tanaka.  Notes on Measure and Category in Recursion Theory , 1970 .

[6]  Hisao Tanaka,et al.  On a Π0 1 Set of Positive Measure , 1970, Nagoya Mathematical Journal.

[7]  Yiannis N. Moschovakis,et al.  Determinacy and Prewellorderings of the Continuum , 1970 .

[8]  G. Sacks.  Measure-theoretic uniformity in recursion theory and set theory , 1969 .

[9]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[10]  Donald A. Martin,et al.  A Basis Theorem for ∑ 1 3 Sets of Reals , 1969 .

[11]  Peter G. Hinman.  Some applications of forcing to hierarchy problems in arithmetic , 1969 .

[12]  Dana S. Scott,et al.  The axiom of determinateness and reduction principles in the analytical hierarchy , 1968 .

[13]  Y. Moschovakis,et al.  Some consequences of the axiom of definable determinateness. , 1968, Proceedings of the National Academy of Sciences of the United States of America.

[14]  Hisao Tanaka,et al.  Some results in the effective descriptive set theory , 1967 .

[15]  S. K. Thomason.  The forcing method and the upper semilattice of hyperdegrees , 1967 .

[16]  Robert M. Solovay,et al.  A nonconstructible Δ₃¹ set of integers , 1967 .

[17]  Gerald E. Sacks,et al.  A minimal hyperdegree , 1967 .

[18]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[19]  W. Rudin.  Real and complex analysis , 1968 .

[20]  Morton Davis,et al.  7. Infinite Games of Perfect Information , 1964 .

[21]  J. Mycielski.  On the axiom of determinateness , 1964 .

[22]  S. Feferman.  Some applications of the notions of forcing and generic sets , 1964 .

[23]  Jan Mycielski,et al.  On the Lebesgue measurability and the axiom of determinateness , 1964 .

[24]  Clifford Spector,et al.  Measure-theoretic construction of incomparable hyperdegrees , 1958, Journal of Symbolic Logic.

[25]  J. Shoenfield.  The class of recursive functions , 1958 .