Archive for Mathematical Logic 44 (2):219-226 (2005)

Let Q be an equivalence relation whose equivalence classes, denoted Q[x], may be proper classes. A function L defined on Field(Q) is a labelling for Q if and only if for all x,L(x) is a set and L is a labelling by subsets for Q if and only if BG denotes Bernays-Gödel class-set theory with neither the axiom of foundation, AF, nor the class axiom of choice, E. The following are relatively consistent with BG. (1) E is true but there is an equivalence relation with no labelling.(2) E is true and every equivalence relation has a labelling, but there is an equivalence relation with no labelling by subsets
Keywords Mathematics   Mathematics, general   Algebra   Mathematical Logic and Foundations
Categories (categorize this paper)
Reprint years 2005
DOI 10.1007/s00153-004-0261-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,018
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
Powers of Regular Cardinals.William B. Easton - 1970 - Annals of Mathematical Logic 1 (2):139.
Rank in Set Theory Without Foundation.M. Victoria Marshall & M. Gloria Schwarze - 1999 - Archive for Mathematical Logic 38 (6):387-393.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Sets and Classes as Many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
The Karp Complexity of Unstable Classes.M. C. Laskowski & S. Shelah - 2001 - Archive for Mathematical Logic 40 (2):69-88.
On Nice Equivalence Relations on Λ2.Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (1):31-64.
On Σ1 1 Equivalence Relations with Borel Classes of Bounded Rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
Analytic Equivalence Relations and Bi-Embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
Classifying Positive Equivalence Relations.Claudio Bernardi & Andrea Sorbi - 1983 - Journal of Symbolic Logic 48 (3):529-538.
Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
When Are Two Algorithms the Same?Andreas Blass, Nachum Dershowitz & Yuri Gurevich - 2009 - Bulletin of Symbolic Logic 15 (2):145-168.


Added to PP index

Total views
15 ( #694,439 of 2,498,301 )

Recent downloads (6 months)
1 ( #426,910 of 2,498,301 )

How can I increase my downloads?


My notes