Found 29 Documents (Results 1–29)
On universal positive graphs. (English. Russian original) Zbl 1529.03223
Sib. Math. J. 64, No. 1, 83-93 (2023); translation from Sib. Mat. Zh. 64, No. 1, 98-112 (2023).
Index sets for classes of positive preorders. (English. Russian original) Zbl 1515.03186
Algebra Logic 61, No. 1, 30-53 (2022); translation from Algebra Logika 61, No. 1, 42-76 (2022).
Notes on the DPRM property for listable structures. (English) Zbl 1500.11093
Reviewer: Alexandra Shlapentokh (Greenville)
The category of equivalence relations. (English. Russian original) Zbl 1515.18004
Algebra Logic 60, No. 5, 295-307 (2021); translation from Algebra Logika 60, No. 4, 451-470 (2021).
Learnability and positive equivalence relations. (English) Zbl 1533.68118
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 145-156 (2021).
The structure of computably enumerable preorder relations. (English. Russian original) Zbl 1462.03018
Algebra Logic 59, No. 3, 201-215 (2020); translation from Algebra Logika 59, No. 3, 293-314 (2020).
Reviewer: Joseph S. Ullian (Santa Barbara)
Minimal equivalence relations in hyperarithmetical and analytical hierarchies. (English) Zbl 1469.03116
The theory of ceers computes true arithmetic. (English) Zbl 1442.03021
Reviewer: Roman Murawski (Poznań)
On isomorphism classes of computably enumerable equivalence relations. (English) Zbl 1452.03092
Reviewer: Patrizio Cintioli (Camerino)
MSC:
03D25
Weakly precomplete equivalence relations in the Ershov hierarchy. (English. Russian original) Zbl 1485.03170
Algebra Logic 58, No. 3, 199-213 (2019); translation from Algebra Logika 58, No. 3, 297-319 (2019).
Computable isomorphisms of distributive lattices. (English) Zbl 1528.03184
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11436, 28-41 (2019).
Fixed point theorems for precomplete numberings. (English) Zbl 1454.03049
Reviewer: Patrizio Cintioli (Camerino)
Positive preorders. (English. Russian original) Zbl 1485.03113
Algebra Logic 57, No. 3, 182-185 (2018); translation from Algebra Logika 57, No. 3, 279-284 (2018).
On dark computably enumerable equivalence relations. (English. Russian original) Zbl 1406.03057
Sib. Math. J. 59, No. 1, 22-30 (2018); translation from Sib. Mat. Zh. 59, No. 1, 29-40 (2018).
Reviewer: Leon Harkleroad (Bowdoinham)
Jumps of computably enumerable equivalence relations. (English) Zbl 1406.03055
Reviewer: Joseph S. Ullian (Santa Barbara)
Irreducible, singular, and contiguous degrees. (English. Russian original) Zbl 1420.03095
Algebra Logic 56, No. 3, 181-196 (2017); translation from Algebra Logika 56, No. 3, 275-299 (2017).
MSC:
03D30
A survey on universal computably enumerable equivalence relations. (English) Zbl 1485.03146
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 418-451 (2017).
MSC:
03D25
Weakly precomplete computably enumerable equivalence relations. (English) Zbl 1361.03043
Reviewer: Liang Yu (Nanjing)
Reducibilities among equivalence relations induced by recursively enumerable structures. (English) Zbl 1338.03077
Reviewer: Joseph S. Ullian (Santa Barbara)
\(Q\)-reducibility and \(m\)-reducibility on computably enumerable sets. (English. Russian original) Zbl 1325.03048
Sib. Math. J. 55, No. 6, 995-1008 (2014); translation from Sib. Mat. Zh. 55, No. 6, 1221-1239 (2014).
MSC:
03D30
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. (English) Zbl 1241.03040
Reviewer: Vadim Puzarenko (Novosibirsk)
Maximal r.e. equivalence relations. (English) Zbl 0721.03029
Reviewer: Zheng Xizhong (Nanjing)
MSC:
03D25
\(\Sigma^ n_ 0\)-equivalence relations. (English) Zbl 0539.03023
MSC:
03D45
Filter Results by …
Document Type
- Journal Articles (26)
- Collection Articles (3)
all
top 5
Author
- Bazhenov, Nikolaĭ Alekseevich (10)
- Kalmurzaev, Birzhan S. (7)
- Sorbi, Andrea (6)
- Andrews, Uri (4)
- Badaev, Serikzhan A. (4)
- Mustafa, Manat (3)
- Stephan, Frank (3)
- Batyrshin, Ilnur I. (2)
- Jain, Sanjay (2)
- Khoussainov, Bakhadyr M. (2)
- Yamaleev, Mars Mansurovich (2)
- Alish, D. B. (1)
- Askarbekkyzy, A. (1)
- Barendregt, Hendrik Pieter (1)
- Bélanger, David R. (1)
- Carroll, Jeffrey S. (1)
- Cenzer, Douglas (1)
- Delle Rose, Valentino (1)
- Gao, Ziyuan (1)
- Gavryushkin, Alex (1)
- Gavryushkin, Alexander (1)
- Harizanov, Valentina S. (1)
- Kabylzhanova, D. K. (1)
- Li, Wei (1)
- Marongiu, Gabriele (1)
- Mauro, L. San (1)
- Pasten, Hector V. (1)
- Remmel, Jeffrey Brian (1)
- San Mauro, Luca (1)
- Schweber, Noah David (1)
- Terwijn, Sebastiaan A. (1)
- Torebekova, M. A. (1)
- Tulipani, Sauro (1)
- Zubkov, Maxim V. (1)
all
top 5
Serial
- Algebra Logic (6)
- Ann. Pure Appl. Logic (5)
- J. Symb. Log. (3)
- Sib. Math. J. (3)
- Theor. Comput. Sci. (2)
- Lobachevskii J. Math. (2)
- Stud. Log. (1)
- J. Math. Sci., New York (1)
- Math. Log. Q. (1)
- Sib. Èlektron. Mat. Izv. (1)
- Asian-Eur. J. Math. (1)