×

Found 39 Documents (Results 1–39)

Calculating the mind change complexity of learning algebraic structures. (English) Zbl 07627913

Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 1-12 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Categoricity spectra of computable structures. (English. Russian original) Zbl 1485.03105

J. Math. Sci., New York 256, No. 1, 34-50 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42-58 (2018).
MSC:  03C57 03D45
PDFBibTeX XMLCite
Full Text: DOI

Rogers semilattices for families of equivalence relations in the Ershov hierarchy. (English. Russian original) Zbl 1445.03050

Sib. Math. J. 60, No. 2, 223-234 (2019); translation from Sib. Mat. Zh. 60, No. 2, 290-305 (2019).
MSC:  03D45 03D30 03D55
PDFBibTeX XMLCite
Full Text: DOI

Degrees of categoricity of rigid structures. (English) Zbl 1496.03152

Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 152-161 (2017).
MSC:  03C57 03D28 03D45
PDFBibTeX XMLCite
Full Text: DOI

Prime model with no degree of autostability relative to strong constructivizations. (English) Zbl 1461.03027

Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 117-126 (2015).
MSC:  03C57 03D45 06E05
PDFBibTeX XMLCite
Full Text: DOI

2-computably enumerable degrees of categoricity for Boolean algebras with distinguished automorphisms. (Russian, English) Zbl 1349.03042

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 1, 19-27 (2014); translation in J. Math. Sci., New York 211, No. 6, 738-746 (2015).
MSC:  03D25 03D45 03C35
PDFBibTeX XMLCite
Full Text: DOI

Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism. (English. Russian original) Zbl 1315.03053

Algebra Logic 52, No. 2, 89-97 (2013); translation from Algebra Logika 52, No. 2, 131-144 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism. (English. Russian original) Zbl 1286.03127

Algebra Logic 51, No. 5, 384-403 (2012); translation from Algebra Logika 51, No. 5, 579-607 (2012).
MSC:  03C57 06E05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field