Jack H. Silver. Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Annals of mathematical logic, vol. 18 , pp. 1–28. - John P. Burgess. Equivalences generated by families of Borel sets. Proceedings of the American Mathematical Society. vol. 69 , pp. 323–326. - John P. Burgess. A reflection phenomenon in descriptive set theory. Fundamenta mathematicae. vol. 104 , 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, edit [Book Review]

Journal of Symbolic Logic 52 (3):869-870 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200029856

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
L. A. Harrington, A. S. Kechris, and A. Louveau. A Glimm–Effros dichotomy for Borel equivalence relations. Journal of the American Mathematical Society, vol. 3 , pp. 903–928. - Alain Louveau and Boban Velickovic. A note on Borel equivalence relations. Proceedings of the American Mathematical Society, vol. 120 , pp. 255–259. - Alexander S. Kechris and Alain Louveau. The classification ofhypersmooth equivalence relations. Journal of the American Mathematical Society, vol. 10 , pp. 215–242. [REVIEW]Greg Hjorth - 1998 - Journal of Symbolic Logic 63 (2):749-750.
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
Counting the number of equivalence classes of Borel and coanalytic equivalence relations.Jack H. Silver - 1980 - Annals of Mathematical Logic 18 (1):1.
J. R. Shoenfield. Measurable cardinals. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 19–49. [REVIEW]Kenneth Kunen - 1975 - Journal of Symbolic Logic 40 (1):93-94.
Aczel Peter. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Macintyre Angus, Pacholski Leszek, and Paris Jeff, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-314.
Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17. [REVIEW]Carl E. Gordon - 1975 - Journal of Symbolic Logic 40 (3):454-455.
Greg Hjorth and Alexander S. Kechris. Analytic equivalence relations and Ulm-type classifications. The journal of symbolic logic, vol. 60 , pp. 1273–1300. - Greg Hjorth, Alexander S. Kechris, and Alain Louveau. Borel equivalence relations induced by actions of the symmetric group. Annals of pure and applied logic, vol. 92 , pp. 63–112. [REVIEW]Sławomir Solecki - 2001 - Bulletin of Symbolic Logic 7 (4):541-544.
Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 , pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 , pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 , pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.

Analytics

Added to PP
2013-11-02

Downloads
112 (#191,112)

6 months
13 (#258,769)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references