Открытый доступ
Доступ предоставлен
Только для подписчиков
Том 58, № 5 (2019)
- Год: 2019
- Статей: 7
- URL: https://journal-vniispk.ru/0002-5232/issue/view/14557
Article
369-382
Classifications of Definable Subsets
Аннотация
Given a structure ℳ over ω and a syntactic complexity class \( \mathfrak{E} \), we say that a subset is \( \mathfrak{E} \)-definable in ℳ if there exists a C-formula Θ(x) in the language of ℳ such that for all x ∈ ω, we have x ∈ A iff Θ(x) is true in the structure. S. S. Goncharov and N. T. Kogabaev [Vestnik NGU, Mat., Mekh., Inf., 8, No. 4, 23-32 (2008)] generalized an idea proposed by Friedberg [J. Symb. Log., 23, No. 3, 309-316 (1958)], introducing the notion of a \( \mathfrak{E} \)-classification of M: a computable list of \( \mathfrak{E} \)-formulas such that every \( \mathfrak{E} \)-definable subset is defined by a unique formula in the list. We study the connections among\( {\varSigma}_1^0- \), \( d-{\varSigma}_1^0- \), and \( {\varSigma}_2^0 \)-classifications in the context of two families of structures, unbounded computable equivalence structures and unbounded computable injection structures. It is stated that every such injection structure has a \( {\varSigma}_1^0- \)classification, a \( {\varSigma}_1^0- \)classification, and a \( {\varSigma}_2^0 \)-classification. In equivalence structures, on the other hand, we find a richer variety of possibilities.
383-404
Σ-Preorderings in \( \mathbb{H}\mathbbm{F} \)(ℝ)
Аннотация
It is proved that the ordinal ω1cannot be embedded into a preordering Σ-definable with parameters in the hereditarily finite superstructure over the real numbers. As a corollary, we obtain the descriptions of ordinals Σ-presentable over\( \mathbb{H}\mathbbm{F} \)(ℝ) and of Gödel constructive sets of the form Lα. It is also shown that there are no Σ-presentations of structures of T-, m-, 1- and tt-degrees.
405-416
Simple Asymmetric Doubles, Their Automorphisms and Derivations
Аннотация
A simple right-alternative, but not alternative, superalgebra whose even part coincides with an algebra of second-order matrices is called an asymmetric double. It is known that such superalgebras are eight-dimensional. We give a solution to the isomorphism problem for asymmetric doubles, point out their automorphism groups and derivation superalgebras.
417-433
Primitive Normality and Primitive Connectedness of a Class of Divisible Polygons
Аннотация
We study monoids over which a class of divisible S-polygons is primitive normal or primitive connected. It is shown that for an arbitrary monoid S, the class of divisible polygons is primitive normal iff S is a linearly ordered monoid, and that it is primitive connected iff S is a group.
434-440
SESSIONS OF THE SEMINAR “ALGEBRA i LOGIKA”
444-445
Communications
On Realization of Index Sets in \( {\prod}_1^0 \)-Classes
441-443