Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen |
|
1985
|
The theory of Boolean ultrapowers. Zbl 0216.29401
Mansfield, R. |
|
1971
|
Perfect subsets of definable sets of real numbers. Zbl 0251.02060
Mansfield, Richard |
|
1970
|
A group determinant determines its group. Zbl 0770.15003
Mansfield, Richard |
|
1992
|
Algorithmic procedures. Zbl 0774.03030
Friedman, Harvey; Mansfield, Richard |
|
1992
|
A Souslin operation for \(\Pi^1_2\). Zbl 0295.02039
Mansfield, Richard |
|
1971
|
The non-existence of \(\Sigma^1_2\) well-orderings of the Cantor set. Zbl 0317.02080
Mansfield, Richard |
|
1975
|
The completeness theorem for infinitary logic. Zbl 0244.02005
Mansfield, Richard |
|
1972
|
A footnote to a theorem of Solovay on recursive encodability. Zbl 0449.03044
Mansfield, Richard |
|
1978
|
Sheaves and normal submodels. Zbl 0393.03025
Mansfield, Richard |
|
1977
|
The solution to one of Ulam’s problems concerning analytic sets. II. Zbl 0275.02058
Mansfield, R. |
|
1970
|
Horn classes and reduced direct products. Zbl 0261.02034
Mansfield, Richard |
|
1973
|
Strategies for the Shannon switching game. Zbl 0846.90148
Mansfield, Richard |
|
1996
|
The irrationals are not recursively enumerable. Zbl 0707.03040
Mansfield, Richard |
|
1990
|
A complete axiomatization of computer arithmetic. Zbl 0575.68053
Mansfield, Richard |
|
1984
|
Omitting types: Application to descriptive set theory. Zbl 0302.02027
Mansfield, Richard |
|
1975
|
Boolean-valued set theory and forcing. Zbl 0362.02064
Mansfield, Richard; Dawson, John |
|
1976
|
How many slopes in a polygon? Zbl 0473.10007
Mansfield, Richard |
|
1981
|
Smooth finite dimensional embeddings. Zbl 0931.57022
Mansfield, R.; Movahedi-Lankarani, H.; Wells, R. |
|
1999
|
Smooth finite dimensional embeddings. Zbl 0931.57022
Mansfield, R.; Movahedi-Lankarani, H.; Wells, R. |
|
1999
|
Strategies for the Shannon switching game. Zbl 0846.90148
Mansfield, Richard |
|
1996
|
A group determinant determines its group. Zbl 0770.15003
Mansfield, Richard |
|
1992
|
Algorithmic procedures. Zbl 0774.03030
Friedman, Harvey; Mansfield, Richard |
|
1992
|
The irrationals are not recursively enumerable. Zbl 0707.03040
Mansfield, Richard |
|
1990
|
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen |
|
1985
|
A complete axiomatization of computer arithmetic. Zbl 0575.68053
Mansfield, Richard |
|
1984
|
How many slopes in a polygon? Zbl 0473.10007
Mansfield, Richard |
|
1981
|
A footnote to a theorem of Solovay on recursive encodability. Zbl 0449.03044
Mansfield, Richard |
|
1978
|
Sheaves and normal submodels. Zbl 0393.03025
Mansfield, Richard |
|
1977
|
Boolean-valued set theory and forcing. Zbl 0362.02064
Mansfield, Richard; Dawson, John |
|
1976
|
The non-existence of \(\Sigma^1_2\) well-orderings of the Cantor set. Zbl 0317.02080
Mansfield, Richard |
|
1975
|
Omitting types: Application to descriptive set theory. Zbl 0302.02027
Mansfield, Richard |
|
1975
|
Horn classes and reduced direct products. Zbl 0261.02034
Mansfield, Richard |
|
1973
|
The completeness theorem for infinitary logic. Zbl 0244.02005
Mansfield, Richard |
|
1972
|
The theory of Boolean ultrapowers. Zbl 0216.29401
Mansfield, R. |
|
1971
|
A Souslin operation for \(\Pi^1_2\). Zbl 0295.02039
Mansfield, Richard |
|
1971
|
Perfect subsets of definable sets of real numbers. Zbl 0251.02060
Mansfield, Richard |
|
1970
|
The solution to one of Ulam’s problems concerning analytic sets. II. Zbl 0275.02058
Mansfield, R. |
|
1970
|