ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

2019 ◽  
Vol 85 (1) ◽  
pp. 61-86 ◽  
Author(s):  
URI ANDREWS ◽  
SERIKZHAN A. BADAEV
Keyword(s):  
Explicit Construction ◽  
The Other ◽  
Equivalence Relations ◽  
Index Set ◽  
Isomorphism Classes ◽  
Closed Sets ◽  
Open Questions ◽  
Index Sets ◽  
Image Position ◽  
Computably Enumerable

AbstractWe examine how degrees of computably enumerable equivalence relations (ceers) under computable reduction break down into isomorphism classes. Two ceers are isomorphic if there is a computable permutation of ω which reduces one to the other. As a method of focusing on nontrivial differences in isomorphism classes, we give special attention to weakly precomplete ceers. For any degree, we consider the number of isomorphism types contained in the degree and the number of isomorphism types of weakly precomplete ceers contained in the degree. We show that the number of isomorphism types must be 1 or ω, and it is 1 if and only if the ceer is self-full and has no computable classes. On the other hand, we show that the number of isomorphism types of weakly precomplete ceers contained in the degree can be any member of $[0,\omega ]$. In fact, for any $n \in [0,\omega ]$, there is a degree d and weakly precomplete ceers ${E_1}, \ldots ,{E_n}$ in d so that any ceer R in d is isomorphic to ${E_i} \oplus D$ for some $i \le n$ and D a ceer with domain either finite or ω comprised of finitely many computable classes. Thus, up to a trivial equivalence, the degree d splits into exactly n classes.We conclude by answering some lingering open questions from the literature: Gao and Gerdes [11] define the collection of essentially FC ceers to be those which are reducible to a ceer all of whose classes are finite. They show that the index set of essentially FC ceers is ${\rm{\Pi }}_3^0$-hard, though the definition is ${\rm{\Sigma }}_4^0$. We close the gap by showing that the index set is ${\rm{\Sigma }}_4^0$-complete. They also use index sets to show that there is a ceer all of whose classes are computable, but which is not essentially FC, and they ask for an explicit construction, which we provide.Andrews and Sorbi [4] examined strong minimal covers of downwards-closed sets of degrees of ceers. We show that if $\left( {{E_i}} \right)$ is a uniform c.e. sequence of non universal ceers, then $\left\{ {{ \oplus _{i \le j}}{E_i}|j \in \omega } \right\}$ has infinitely many incomparable strong minimal covers, which we use to answer some open questions from [4].Lastly, we show that there exists an infinite antichain of weakly precomplete ceers.

THE COMPLEXITY OF INDEX SETS OF CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

2016 ◽  
Vol 81 (4) ◽  
pp. 1375-1395 ◽  
Author(s):  
URI ANDREWS ◽  
ANDREA SORBI
Keyword(s):  
Open Problem ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Index Set ◽  
Index Sets ◽  
Image Position ◽  
Computably Enumerable

AbstractLet$ \le _c $be computable the reducibility on computably enumerable equivalence relations (or ceers). We show that for every ceerRwith infinitely many equivalence classes, the index sets$\left\{ {i:R_i \le _c R} \right\}$(withRnonuniversal),$\left\{ {i:R_i \ge _c R} \right\}$, and$\left\{ {i:R_i \equiv _c R} \right\}$are${\rm{\Sigma }}_3^0$complete, whereas in caseRhas only finitely many equivalence classes, we have that$\left\{ {i:R_i \le _c R} \right\}$is${\rm{\Pi }}_2^0$complete, and$\left\{ {i:R \ge _c R} \right\}$(withRhaving at least two distinct equivalence classes) is${\rm{\Sigma }}_2^0$complete. Next, solving an open problem from [1], we prove that the index set of the effectively inseparable ceers is${\rm{\Pi }}_4^0$complete. Finally, we prove that the 1-reducibility preordering on c.e. sets is a${\rm{\Sigma }}_3^0$complete preordering relation, a fact that is used to show that the preordering relation$ \le _c $on ceers is a${\rm{\Sigma }}_3^0$complete preordering relation.

UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

2014 ◽  
Vol 79 (01) ◽  
pp. 60-88 ◽  
Author(s):  
URI ANDREWS ◽  
STEFFEN LEMPP ◽  
JOSEPH S. MILLER ◽  
KENG MENG NG ◽  
LUCA SAN MAURO ◽  
...  
Keyword(s):  
Computable Function ◽  
Order Theory ◽  
Equivalence Relations ◽  
Index Set ◽  
First Order ◽  
First Order Theory ◽  
Bounded Poset ◽  
Image Position ◽  
Open Question ◽  
Computably Enumerable

Abstract We study computably enumerable equivalence relations (ceers), under the reducibility $R \le S$ if there exists a computable function f such that $x\,R\,y$ if and only if $f\left( x \right)\,\,S\,f\left( y \right)$ , for every $x,y$ . We show that the degrees of ceers under the equivalence relation generated by $\le$ form a bounded poset that is neither a lower semilattice, nor an upper semilattice, and its first-order theory is undecidable. We then study the universal ceers. We show that 1) the uniformly effectively inseparable ceers are universal, but there are effectively inseparable ceers that are not universal; 2) a ceer R is universal if and only if $R\prime \le R$ , where $R\prime$ denotes the halting jump operator introduced by Gao and Gerdes (answering an open question of Gao and Gerdes); and 3) both the index set of the universal ceers and the index set of the uniformly effectively inseparable ceers are ${\rm{\Sigma }}_3^0$ -complete (the former answering an open question of Gao and Gerdes).

scholarly journals BINARY PRIMITIVE HOMOGENEOUS SIMPLE STRUCTURES

2017 ◽  
Vol 82 (1) ◽  
pp. 183-207 ◽  
Author(s):  
VERA KOPONEN
Keyword(s):  
Algebraic Closure ◽  
The Other ◽  
Equivalence Relations ◽  
Complete Theory ◽  
Future Research ◽  
Random Structure ◽  
Homogeneous Structures ◽  
Image Position

AbstractSuppose that ${\cal M}$ is countable, binary, primitive, homogeneous, and simple. We prove that the SU-rank of the complete theory of ${\cal M}$ is 1 and hence 1-based. It follows that ${\cal M}$ is a random structure. The conclusion that ${\cal M}$ is a random structure does not hold if the binarity condition is removed, as witnessed by the generic tetrahedron-free 3-hypergraph. However, to show that the generic tetrahedron-free 3-hypergraph is 1-based requires some work (it is known that it has the other properties) since this notion is defined in terms of imaginary elements. This is partly why we also characterize equivalence relations which are definable without parameters in the context of ω-categorical structures with degenerate algebraic closure. Another reason is that such characterizations may be useful in future research about simple (nonbinary) homogeneous structures.

scholarly journals LEARNING THEORY IN THE ARITHMETIC HIERARCHY

2014 ◽  
Vol 79 (3) ◽  
pp. 908-927 ◽  
Author(s):  
ACHILLES A. BEROS
Keyword(s):  
Learning Theory ◽  
Independent Interest ◽  
Arithmetic Complexity ◽  
Completeness Result ◽  
Index Sets ◽  
Arithmetic Hierarchy ◽  
Image Position ◽  
Learning In The Limit ◽  
Computably Enumerable

AbstractWe consider the arithmetic complexity of index sets of uniformly computably enumerable families learnable under different learning criteria. We determine the exact complexity of these sets for the standard notions of finite learning, learning in the limit, behaviorally correct learning and anomalous learning in the limit. In proving the ${\rm{\Sigma }}_5^0$-completeness result for behaviorally correct learning we prove a result of independent interest; if a uniformly computably enumerable family is not learnable, then for any computable learner there is a ${\rm{\Delta }}_2^0$ enumeration witnessing failure.

Closed Sets of Boolean Terms in Relational Databases

1991 ◽  
Vol 14 (3) ◽  
pp. 367-385
Author(s):  
Andrzej Jankowski ◽  
Zbigniew Michalewicz
Keyword(s):  
Computational Complexity ◽  
Incomplete Information ◽  
Relational Databases ◽  
The Other ◽  
New Approach ◽  
Closed Sets ◽  
Null Value ◽  
Algebraic Operations

A number of approaches have been taken to represent compound, structured values in relational databases. We review a few such approaches and discuss a new approach, in which every set is represented as a Boolean term. We show that this approach generalizes the other approaches, leading to more flexible representation. Boolean term representation seems to be appropriate in handling incomplete information: this approach generalizes some other approaches (e.g. null value mark, null variables, etc). We consider definitions of algebraic operations on such sets, like join, union, selection, etc. Moreover, we introduce a measure of computational complexity of these operations.

scholarly journals The Dissociation of the Compound of Iodine and Thio-urea

1904 ◽  
Vol 24 ◽  
pp. 233-239 ◽  
Author(s):  
Hugh Marshall
Keyword(s):  
Nitric Acid ◽  
General Formula ◽  
Free Acid ◽  
The Other ◽  
Image Position

When thio-urea is treated with suitable oxidising agents in presence of acids, salts are formed corresponding to the general formula (CSN2H4)2X2:—Of these salts the di-nitrate is very sparingly soluble, and is precipitated on the addition of nitric acid or a nitrate to solutions of the other salts. The salts, as a class, are not very stable, and their solutions decompose, especially on warming, with formation of sulphur, thio-urea, cyanamide, and free acid. A corresponding decomposition results immediately on the addition of alkali, and this constitutes a very characteristic reaction for these salts.

Combinatorial principles weaker than Ramsey's Theorem for pairs

2007 ◽  
Vol 72 (1) ◽  
pp. 171-206 ◽  
Author(s):  
Denis R. Hirschfeldt ◽  
Richard A. Shore
Keyword(s):  
Reverse Mathematics ◽  
The Other ◽  
Base System ◽  
Ramsey's Theorem ◽  
Open Questions ◽  
Ramsey’S Theorem ◽  
Combinatorial Principles ◽  
Points Of View ◽  
The One ◽  
Infinite Linear

AbstractWe investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is wellknown that Ramsey's Theorem for pairs () splits into a stable version () and a cohesive principle (COH). We show that the same is true of ADS and CAC, and that in their cases the stable versions are strictly weaker than the full ones (which is not known to be the case for and ). We also analyze the relationships between these principles and other systems and principles previously studied by reverse mathematics, such as WKL0, DNR, and BΣ2. We show, for instance, that WKL0 is incomparable with all of the systems we study. We also prove computability-theoretic and conservation results for them. Among these results are a strengthening of the fact, proved by Cholak, Jockusch, and Slaman, that COH is -conservative over the base system RCA0. We also prove that CAC does not imply DNR which, combined with a recent result of Hirschfeldt, Jockusch. Kjos-Hanssen, Lempp, and Slaman, shows that CAC does not imply (and so does not imply ). This answers a question of Cholak, Jockusch, and Slaman.Our proofs suggest that the essential distinction between ADS and CAC on the one hand and on the other is that the colorings needed for our analysis are in some way transitive. We formalize this intuition as the notions of transitive and semitransitive colorings and show that the existence of homogeneous sets for such colorings is equivalent to ADS and CAC, respectively. We finish with several open questions.

Extremely undecidable sentences

1982 ◽  
Vol 47 (1) ◽  
pp. 191-196 ◽  
Author(s):  
George Boolos
Keyword(s):  
Modal Logic ◽  
The Other ◽  
Propositional Modal Logic ◽  
Image Position

Let ‘ϕ’, ‘χ’, and ‘ψ’ be variables ranging over functions from the sentence letters P0, P1, … Pn, … of (propositional) modal logic to sentences of P(eano) Arithmetic), and for each sentence A of modal logic, inductively define Aϕ by[and similarly for other nonmodal propositional connectives]; andwhere Bew(x) is the standard provability predicate for PA and ⌈F⌉ is the PA numeral for the Gödel number of the formula F of PA. Then for any ϕ, (−□⊥)ϕ = −Bew(⌈⊥⌉), which is the consistency assertion for PA; a sentence S is undecidable in PA iff both and , where ϕ(p0) = S. If ψ(p0) is the undecidable sentence constructed by Gödel, then ⊬PA (−□⊥→ −□p0 & − □ − p0)ψ and ⊢PA(P0 ↔ −□⊥)ψ. However, if ψ(p0) is the undecidable sentence constructed by Rosser, then the situation is the other way around: ⊬PA(P0 ↔ −□⊥)ψ and ⊢PA (−□⊥→ −□−p0 & −□−p0)ψ. We call a sentence S of PA extremely undecidable if for all modal sentences A containing no sentence letter other than p0, if for some ψ, ⊬PAAψ, then ⊬PAAϕ, where ϕ(p0) = S. (So, roughly speaking, a sentence is extremely undecidable if it can be proved to have only those modal-logically characterizable properties that every sentence can be proved to have.) Thus extremely undecidable sentences are undecidable, but neither the Godel nor the Rosser sentence is extremely undecidable. It will follow at once from the main theorem of this paper that there are infinitely many inequivalent extremely undecidable sentences.

On functional Nörlund methods

1970 ◽  
Vol 67 (1) ◽  
pp. 47-60 ◽  
Author(s):  
B. Choudhary
Keyword(s):  
The Other ◽  
Integral Transformations ◽  
Other Hand ◽  
Nörlund Means ◽  
The One ◽  
Image Position

Integral transformations analogous to the Nörlund means have been introduced and investigated by Kuttner, Knopp and Vanderburg(6), (5), (4). It is known that with any regular Nörlund mean (N, p) there is associated a functionregular for |z| < 1, and if we have two Nörlund means (N, p) and (N, r), where (N, pr is regular, while the function is regular for |z| ≤ 1 and different) from zero at z = 1, then q(z) = r(z)p(z) belongs to a regular Nörlund mean (N, q). Concerning Nörlund means Peyerimhoff(7) and Miesner (3) have recently obtained the relation between the convergence fields of the Nörlund means (N, p) and (N, r) on the one hand and the convergence field of the Nörlund mean (N, q) on the other hand.

scholarly journals An elementary renewal theorem for random compact convex sets

1995 ◽  
Vol 27 (4) ◽  
pp. 931-942 ◽  
Author(s):  
Ilya S. Molchanov ◽  
Edward Omey ◽  
Eugene Kozarovitzky
Keyword(s):  
Support Function ◽  
Convex Sets ◽  
Compact Convex ◽  
Renewal Function ◽  
Renewal Theorem ◽  
Closed Sets ◽  
Random Closed Sets ◽  
Minkowski Sums ◽  
Image Position ◽  
Unit Vectors

A set-valued analog of the elementary renewal theorem for Minkowski sums of random closed sets is considered. The corresponding renewal function is defined as where are Minkowski (element-wise) sums of i.i.d. random compact convex sets. In this paper we determine the limit of H(tK)/t as t tends to infinity. For K containing the origin as an interior point, where hK(u) is the support function of K and is the set of all unit vectors u with EhA(u) > 0. Other set-valued generalizations of the renewal function are also suggested.

Sign in / Sign up

Export Citation Format

Share Document