scholarly journals Global aspects of measure preserving equivalence relations and graphs

10.53733/96 ◽  
2021 ◽  
Vol 52 ◽  
pp. 691-726
Author(s):  
Alexander Kechris
Keyword(s):  
Topological Space ◽  
Equivalence Relation ◽  
Point Of View ◽  
Equivalence Relations ◽  
Global Theory ◽  
Descriptive Set

This paper is an introduction and survey of a “global” theory of measure preserving equivalence relations and graphs. In this theory one views a measure preserving equivalence relation or graph as a point in an appropriate topological space and then studies the properties of this space from a topological, descriptive set theoretic and dynamical point of view.

Classifying positive equivalence relations

1983 ◽  
Vol 48 (3) ◽  
pp. 529-538 ◽  
Author(s):  
Claudio Bernardi ◽  
Andrea Sorbi
Keyword(s):  
Topological Space ◽  
Equivalence Relation ◽  
Recursive Function ◽  
Equivalence Classes ◽  
Point Of View ◽  
Classification Theorem ◽  
Equivalence Relations ◽  
Natural Numbers ◽  
Uniformity Property

AbstractGiven two (positive) equivalence relations ~1, ~2 on the set ω of natural numbers, we say that ~1 is m-reducible to ~2 if there exists a total recursive function h such that for every x, y ∈ ω, we have x ~1y iff hx ~2hy. We prove that the equivalence relation induced in ω by a positive precomplete numeration is complete with respect to this reducibility (and, moreover, a “uniformity property” holds). This result allows us to state a classification theorem for positive equivalence relations (Theorem 2). We show that there exist nonisomorphic positive equivalence relations which are complete with respect to the above reducibility; in particular, we discuss the provable equivalence of a strong enough theory: this relation is complete with respect to reducibility but it does not correspond to a precomplete numeration.From this fact we deduce that an equivalence relation on ω can be strongly represented by a formula (see Definition 8) iff it is positive. At last, we interpret the situation from a topological point of view. Among other things, we generalize a result of Visser by showing that the topological space corresponding to a partition in e.i. sets is irreducible and we prove that the set of equivalence classes of true sentences is dense in the Lindenbaum algebra of the theory.

scholarly journals BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES

2013 ◽  
Vol 13 (02) ◽  
pp. 1350008 ◽  
Author(s):  
KRZYSZTOF KRUPIŃSKI ◽  
ANAND PILLAY ◽  
SŁAWOMIR SOLECKI
Keyword(s):  
Topological Space ◽  
Galois Groups ◽  
Equivalence Relations ◽  
Connected Components ◽  
Borel Equivalence Relations ◽  
First Order ◽  
The Third ◽  
Definable Groups ◽  
Theory Of Complexity ◽  
Descriptive Set

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three (modest) aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L(T) of T, have well-defined Borel cardinalities (in the sense of the theory of complexity of Borel equivalence relations). The second is to compute the Borel cardinalities of the known examples as well as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 (2001) 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 (2012) 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint (2012), arXiv:1201.5221v1].

Fundamental relations and identities of fuzzy hyperalgebras

2021 ◽  
pp. 1-10
Author(s):  
Narjes Firouzkouhi ◽  
Abbas Amini ◽  
Chun Cheng ◽  
Mehdi Soleymani ◽  
Bijan Davvaz
Keyword(s):  
Universal Algebra ◽  
Equivalence Relation ◽  
Polynomial Function ◽  
Equivalence Relations ◽  
Fundamental Relation ◽  
Term Function ◽  
Biological Phenomena ◽  
Definition Of

Inspired by fuzzy hyperalgebras and fuzzy polynomial function (term function), some homomorphism properties of fundamental relation on fuzzy hyperalgebras are conveyed. The obtained relations of fuzzy hyperalgebra are utilized for certain applications, i.e., biological phenomena and genetics along with some elucidatory examples presenting various aspects of fuzzy hyperalgebras. Then, by considering the definition of identities (weak and strong) as a class of fuzzy polynomial function, the smallest equivalence relation (fundamental relation) is obtained which is an important tool for fuzzy hyperalgebraic systems. Through the characterization of these equivalence relations of a fuzzy hyperalgebra, we assign the smallest equivalence relation α i 1 i 2 ∗ on a fuzzy hyperalgebra via identities where the factor hyperalgebra is a universal algebra. We extend and improve the identities on fuzzy hyperalgebras and characterize the smallest equivalence relation α J ∗ on the set of strong identities.

scholarly journals The absorption theorem for affable equivalence relations

2008 ◽  
Vol 28 (5) ◽  
pp. 1509-1531 ◽  
Author(s):  
THIERRY GIORDANO ◽  
HIROKI MATUI ◽  
IAN F. PUTNAM ◽  
CHRISTIAN F. SKAU
Keyword(s):  
Dynamical Systems ◽  
Equivalence Relation ◽  
Closed Subset ◽  
Cantor Set ◽  
Equivalence Relations ◽  
Orbit Structure ◽  
Orbit Equivalent ◽  
Finite Set ◽  
Significant Generalization

AbstractWe prove a result about extension of a minimal AF-equivalence relation R on the Cantor set X, the extension being ‘small’ in the sense that we modify R on a thin closed subset Y of X. We show that the resulting extended equivalence relation S is orbit equivalent to the original R, and so, in particular, S is affable. Even in the simplest case—when Y is a finite set—this result is highly non-trivial. The result itself—called the absorption theorem—is a powerful and crucial tool for the study of the orbit structure of minimal ℤn-actions on the Cantor set, see Remark 4.8. The absorption theorem is a significant generalization of the main theorem proved in Giordano et al [Affable equivalence relations and orbit structure of Cantor dynamical systems. Ergod. Th. & Dynam. Sys.24 (2004), 441–475] . However, we shall need a few key results from the above paper in order to prove the absorption theorem.

scholarly journals On the Graph of Divisibility of an Integral Domain

2015 ◽  
Vol 58 (3) ◽  
pp. 449-458 ◽  
Author(s):  
Jason Greene Boynton ◽  
Jim Coykendall
Keyword(s):  
Topological Space ◽  
Integral Domain ◽  
Point Of View ◽  
Current Understanding ◽  
Main Theme ◽  
Topological Graph ◽  
Integral Domains ◽  
Graph Theoretic ◽  
Theoretic Point ◽  
Group Of Divisibility

AbstractIt is well known that the factorization properties of a domain are reflected in the structure of its group of divisibility. The main theme of this paper is to introduce a topological/graph-theoretic point of view to the current understanding of factorization in integral domains. We also show that connectedness properties in the graph and topological space give rise to a generalization of atomicity.

On Constructing Ergodic Hyperfinite Equivalence Relations of Non-Product Type

2013 ◽  
Vol 56 (1) ◽  
pp. 136-147
Author(s):  
Radu-Bogdan Munteanu
Keyword(s):  
Equivalence Relation ◽  
Product Type ◽  
Bratteli Diagram ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Property A

AbstractProduct type equivalence relations are hyperfinitemeasured equivalence relations, which, up to orbit equivalence, are generated by product type odometer actions. We give a concrete example of a hyperfinite equivalence relation of non-product type, which is the tail equivalence on a Bratteli diagram. In order to show that the equivalence relation constructed is not of product type we will use a criterion called property A. This property, introduced by Krieger for non-singular transformations, is defined directly for hyperfinite equivalence relations in this paper.

Universal recursion theoretic properties of r.e. preordered structures

1985 ◽  
Vol 50 (2) ◽  
pp. 397-406 ◽  
Author(s):  
Franco Montagna ◽  
Andrea Sorbi
Keyword(s):  
Equivalence Relation ◽  
Point Of View ◽  
Main Concern ◽  
Natural Numbers ◽  
Axiomatic Theory ◽  
Recursive Functions ◽  
Theoretic Point

When dealing with axiomatic theories from a recursion-theoretic point of view, the notion of r.e. preordering naturally arises. We agree that an r.e. preorder is a pair = 〈P, ≤P〉 such that P is an r.e. subset of the set of natural numbers (denoted by ω), ≤P is a preordering on P and the set {〈;x, y〉: x ≤Py} is r.e.. Indeed, if is an axiomatic theory, the provable implication of yields a preordering on the class of (Gödel numbers of) formulas of .Of course, if ≤P is a preordering on P, then it yields an equivalence relation ~P on P, by simply letting x ~Py iff x ≤Py and y ≤Px. Hence, in the case of P = ω, any preordering yields an equivalence relation on ω and consequently a numeration in the sense of [4]. It is also clear that any equivalence relation on ω (hence any numeration) can be regarded as a preordering on ω. In view of this connection, we sometimes apply to the theory of preorders some of the concepts from the theory of numerations (see also Eršov [6]).Our main concern will be in applications of these concepts to logic, in particular as regards sufficiently strong axiomatic theories (essentially the ones in which recursive functions are representable). From this point of view it seems to be of some interest to study some remarkable prelattices and Boolean prealgebras which arise from such theories. It turns out that these structures enjoy some rather surprising lattice-theoretic and universal recursion-theoretic properties.After making our main definitions in §1, we examine universal recursion-theoretic properties of some r.e. prelattices in §2.

Multi-Granular Computing through Rough Sets

2014 ◽  
pp. 1-34 ◽  
Author(s):  
B. K. Tripathy
Keyword(s):  
Set Theory ◽  
Rough Set ◽  
Equivalence Relation ◽  
Rough Sets ◽  
Intelligent Systems ◽  
Granular Computing ◽  
Rough Set Theory ◽  
Point Of View ◽  
Information Granules ◽  
Computing Platform

Granular Computing has emerged as a framework in which information granules are represented and manipulated by intelligent systems. Granular Computing forms a unified conceptual and computing platform. Rough set theory put forth by Pawlak is based upon single equivalence relation taken at a time. Therefore, from a granular computing point of view, it is single granular computing. In 2006, Qiang et al. introduced a multi-granular computing using rough set, which was called optimistic multigranular rough sets after the introduction of another type of multigranular computing using rough sets called pessimistic multigranular rough sets being introduced by them in 2010. Since then, several properties of multigranulations have been studied. In addition, these basic notions on multigranular rough sets have been introduced. Some of these, called the Neighborhood-Based Multigranular Rough Sets (NMGRS) and the Covering-Based Multigranular Rough Sets (CBMGRS), have been added recently. In this chapter, the authors discuss all these topics on multigranular computing and suggest some problems for further study.

An axiomatization of the logic with the rough quantifier

1991 ◽  
Vol 56 (2) ◽  
pp. 608-617 ◽  
Author(s):  
Michał Krynicki ◽  
Hans-Peter Tuschik
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Order Structure ◽  
Partition Model ◽  
Weak Model ◽  
First Order ◽  
Basic Properties ◽  
Generalized Quantifier ◽  
Order Language ◽  
The Right

We consider the language L(Q), where L is a countable first-order language and Q is an additional generalized quantifier. A weak model for L(Q) is a pair 〈, q〉 where is a first-order structure for L and q is a family of subsets of its universe. In case that q is the set of classes of some equivalence relation the weak model 〈, q〉 is called a partition model. The interpretation of Q in partition models was studied by Szczerba [3], who was inspired by Pawlak's paper [2]. The corresponding set of tautologies in L(Q) is called rough logic. In the following we will give a set of axioms of rough logic and prove its completeness. Rough logic is designed for creating partition models.The partition models are the weak models arising from equivalence relations. For the basic properties of the logic of weak models the reader is referred to Keisler's paper [1]. In a weak model 〈, q〉 the formulas of L(Q) are interpreted as usual with the additional clause for the quantifier Q: 〈, q〉 ⊨ Qx φ(x) iff there is some X ∊ q such that 〈, q〉 ⊨ φ(a) for all a ∊ X.In case X satisfies the right side of the above equivalence we say that X is contained in φ(x) or, equivalently, φ(x) contains X.

Sign in / Sign up

Export Citation Format

Share Document