Showing 1–5 of 5 results for author: Yamaleev, M

Isomorphism types of Rogers semilattices in the analytical hierarchy

Authors: Nikolay Bazhenov, Sergey Ospichev, Mars Yamaleev

Abstract: A numbering of a countable family $S$ is a surjective map from the set of natural numbers $ω$ onto $S$. A numbering $ν$ is reducible to a numbering $μ$ if there is an effective procedure which given a $ν$-index of an object from $S$, computes a $μ$-index for the same object. The reducibility between numberings gives rise to a class of upper semilattices, which are usually called Rogers semilattice… ▽ More A numbering of a countable family $S$ is a surjective map from the set of natural numbers $ω$ onto $S$. A numbering $ν$ is reducible to a numbering $μ$ if there is an effective procedure which given a $ν$-index of an object from $S$, computes a $μ$-index for the same object. The reducibility between numberings gives rise to a class of upper semilattices, which are usually called Rogers semilattices. The paper studies Rogers semilattices for families $S \subset P(ω)$ belonging to various levels of the analytical hierarchy. We prove that for any non-zero natural numbers $m\neq n$, any non-trivial Rogers semilattice of a $Π^1_m$-computable family cannot be isomorphic to a Rogers semilattice of a $Π^1_n$-computable family. One of the key ingredients of the proof is an application of the result by Downey and Knight on degree spectra of linear orders. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 15 pages

MSC Class: 03D45; 03D55

Journal ref: Aspects of Computation and Automata Theory with Applications. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singapore, vol. 42 (2023), pp. 97-114

Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

Authors: Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Mars Yamaleev

Abstract: A standard tool for classifying the complexity of equivalence relations on $ω$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degrees with respect to computable reducibility. Let $Γ$ be one of the following classes: $Σ^0_α$, $Π^0_α$, $Σ^1_n$, or $Π^1_n$, where $α\geq 2$ is a computable o… ▽ More A standard tool for classifying the complexity of equivalence relations on $ω$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degrees with respect to computable reducibility. Let $Γ$ be one of the following classes: $Σ^0_α$, $Π^0_α$, $Σ^1_n$, or $Π^1_n$, where $α\geq 2$ is a computable ordinal and $n$ is a non-zero natural number. We prove that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in $Γ$. △ Less

Submitted 26 September, 2019; originally announced September 2019.

Comments: 8 pages

MSC Class: 03D30; 03D55

Classifying equivalence relations in the Ershov hierarchy

Authors: Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars Yamaleev

Abstract: Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\leq_c$. This gives rise to a rich degree-structure. In this paper, we lift the study of $c$-degrees to the $Δ^0_2$ case. In doing so, we rely on the Ershov hierarchy. For any notation $a$ for a non-zero computable ordina… ▽ More Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\leq_c$. This gives rise to a rich degree-structure. In this paper, we lift the study of $c$-degrees to the $Δ^0_2$ case. In doing so, we rely on the Ershov hierarchy. For any notation $a$ for a non-zero computable ordinal, we prove several algebraic properties of the degree-structure induced by $\leq_c$ on the $Σ^{-1}_{a}\smallsetminus Π^{-1}_a$ equivalence relations. A special focus of our work is on the (non)existence of infima and suprema of $c$-degrees. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 35 pages

MSC Class: 03D30 (Primary); 03D55 (Secondary)

Journal ref: Archive for Mathematical Logic, vol. 59 (2020), no. 7-8, pp. 835-864

Difference between three quantities

Authors: Robert M. Yamaleev

Abstract: The notion of difference between two quantities plays a basic role in mathematics, consequently in all branches of human activity where the mathematics is applied. However the long stand question is: what is the difference between three (or more) quantities? The binary operation [a,b]=(a-b) possesses the following principal feature: with respect to the third quantity (c) this operation is decomp… ▽ More The notion of difference between two quantities plays a basic role in mathematics, consequently in all branches of human activity where the mathematics is applied. However the long stand question is: what is the difference between three (or more) quantities? The binary operation [a,b]=(a-b) possesses the following principal feature: with respect to the third quantity (c) this operation is decomposed into a sum of the same operations between (a) and (c), and (c)and (b), i.e., [a,b]=[a,c]+[c,b]. Denote by [a,b,c] difference between three quantities (a,b,c). With respect to additional quantity (d) this definition of the difference has to possess with the following property [a,b,c]=[d,b,c]+[a,d,c]+[a,b,d]. We prove that this property of difference between three (or n>2) quantities is satisfied by one of the features of Vandermonde determinant. △ Less

Submitted 22 September, 2012; originally announced September 2012.

MSC Class: 17A05; 17A35

Hyperbolic cosines and sines theorems for the triangle formed by intersection of three semicircles on Euclidean plane

Authors: Robert M. Yamaleev

Abstract: The purpose the present paper is to construct the hyperbolic trigonometry on Euclidean plane without refereing to hyperbolic plane. In this paper we show that the concept of hyperbolic angle and its functions forming the hyperbolic trigonometry give arise on Euclidean plane in a natural way. The method is based on a key- formula establishing a relationship between exponential function and the rati… ▽ More The purpose the present paper is to construct the hyperbolic trigonometry on Euclidean plane without refereing to hyperbolic plane. In this paper we show that the concept of hyperbolic angle and its functions forming the hyperbolic trigonometry give arise on Euclidean plane in a natural way. The method is based on a key- formula establishing a relationship between exponential function and the ratio of two segments. This formula opens a straightforward pathway to hyperbolic trigonometry on the Euclidean plane. The hyperbolic law of cosines I and II and the hyperbolic law of sines are derived by using of the key-formula and the methods of Euclidean Geometry, only. It is shown that these laws are consequences of the interrelations between distances and radii of the intersecting semi-circles. △ Less

Submitted 22 April, 2011; originally announced April 2011.

Comments: 3 figures