On Bounded Type-Definable Equivalence Relations

&
Notre Dame Journal of Formal Logic 43 (4):231-242 (2002)
  Copy   BIBTEX

Abstract

We investigate some topological properties of the spaces of classes of bounded type-definable equivalence relations

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1074396308

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

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

Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
Subsimple Groups.Frank Wagner - 2005 - Journal of Symbolic Logic 70 (4):1365 - 1370.
On definability of the equality in classes of algebras with an equivalence relation.Pilar Dellunde I. Clavé - 2000 - Studia Logica 64 (3):345-353.
On Σ1 1 equivalence relations with Borel classes of bounded rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.
? 0 N -equivalence relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem.Daniele Mundici - 1981 - Journal of Symbolic Logic 46 (3):523-530.
Some remarks on definable equivalence relations in o-minimal structures.Anand Pillay - 1986 - Journal of Symbolic Logic 51 (3):709-714.
$\sum_{0}^{n}$ -Equivalence Relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351 - 358.
Definable equivalence relations on algebraically closed fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
Coordinatisation by Binding Groups and Unidimensionality in Simple Theories.Ziv Shami - 2004 - Journal of Symbolic Logic 69 (4):1221 - 1242.
Cofinal families of Borel equivalence relations and quasiorders.Christian Rosendal - 2005 - Journal of Symbolic Logic 70 (4):1325-1340.

Analytics

Added to PP
2010-08-24

Downloads
20 (#773,462)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

G-compactness and groups.Jakub Gismatullin & Ludomir Newelski - 2008 - Archive for Mathematical Logic 47 (5):479-501.
Generalizations of small profinite structures.Krzysztof Krupiński - 2010 - Journal of Symbolic Logic 75 (4):1147-1175.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Pseudofinite groups and VC-dimension.Gabriel Conant & Anand Pillay - 2020 - Journal of Mathematical Logic 21 (2):2150009.

View all 7 citations / Add more citations

References found in this work

Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
A note on Lascar strong types in simple theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
PAS d'imaginaires dans l'infini!Anand Pillay & Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (2):400-403.
A note on Lascar strong types in simple theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.

Add more references