A. Maitra and C. Ryll-Nardzewski. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 (1970), pp. 177–178. - R. Daniel Mauldin. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 (1976), pp. 241–244. - Karel Hrbacek. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 419–425. - Karel Hrbacek and Stephen G. Simpson. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352. - Leo Harrington. Analytic determinacy and 0#. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 685–693.

1984 ◽  
Vol 49 (2) ◽  
pp. 665-668
Author(s):  
Jacques Stern
Keyword(s):  
New York ◽  
American Mathematical Society ◽  
Publishing Company ◽  
Mathematical Society ◽  
Foundations Of Mathematics ◽  
Symbolic Logic ◽  
Borel Sets ◽  
North Holland Publishing Company ◽  
North Holland Publishing ◽  
Analytic Sets

Jack H. Silver. Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Annals of mathematical logic, vol. 18 (1980), pp. 1–28. - John P. Burgess. Equivalences generated by families of Borel sets. Proceedings of the American Mathematical Society. vol. 69 (1978), pp. 323–326. - John P. Burgess. A reflection phenomenon in descriptive set theory. Fundamenta mathematicae. vol. 104 (1979), pp. 127–139. - L. Harrington and R. Sami. Equivalence relations, projective and beyond. Logic Colloquium '78, Proceedings of the Colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 247–264. - Leo Harrington and Saharon Shelah. Counting equivalence classes for co-κ-Souslin equivalence relations. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 147–152. - Jacques Stern. On Lusin's restricted continuum problem. Annals of mathematics, ser. 2 vol. 120 (1984), pp. 7–37.

1987 ◽  
Vol 52 (3) ◽  
pp. 869-870
Author(s):  
Alain Louveau
Keyword(s):  
New York ◽  
American Mathematical Society ◽  
Equivalence Classes ◽  
Publishing Company ◽  
Equivalence Relations ◽  
Foundations Of Mathematics ◽  
Borel Sets ◽  
North Holland Publishing Company ◽  
North Holland Publishing ◽  
Descriptive Set

S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic and the foundations of mathematics, vol. 109, NorthHolland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 171–196. - Solomon Feferman. Monotone inductive definitions. The L. E. J. Brouwer centenary symposium, Proceedings of the conference held in Noordwijkerhout, 8–13 June, 1981, edited by A. S. Troelstra and D. van Dalen, Studies in logic and the foundations of mathematics, vol. 110, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 77–89. - S. Feferman and G. Jäger. Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. The journal of symbolic logic, vol. 48 (1983), pp. 63–70.

1994 ◽  
Vol 59 (2) ◽  
pp. 668-670
Author(s):  
Helmut Pfeiffer
Keyword(s):  
New York ◽  
Fixed Point ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
Symbolic Logic ◽  
Theoretical Studies ◽  
North Holland Publishing Company ◽  
Inductive Definitions ◽  
North Holland Publishing ◽  
Lecture Notes

N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.

1966 ◽  
Vol 31 (2) ◽  
pp. 258-261 ◽  
Author(s):  
Georg Kreisel
Keyword(s):  
English Translation ◽  
American Mathematical Society ◽  
Formal System ◽  
Publishing Company ◽  
Mathematical Society ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
Recursive Functions ◽  
North Holland Publishing ◽  
The Continuum
Sign in / Sign up

Export Citation Format

Share Document