×

Found 1,080 Documents (Results 1–100)

100
MathJax

Computable procedures for fields. (English) Zbl 07495181

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 342-352 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Searching for applicable versions of computable structures. (English) Zbl 07495151

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 1-11 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Computable presentability of countable linear orders. (English. Russian original) Zbl 07364544

J. Math. Sci., New York 256, No. 2, 199-233 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 81-115 (2018).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Full Text: DOI

Degree spectra of structures. (English. Russian original) Zbl 07364542

J. Math. Sci., New York 256, No. 2, 143-159 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23-39 (2018).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Full Text: DOI

Computable linear orders and limitwise monotonic functions. (English. Russian original) Zbl 07364539

J. Math. Sci., New York 256, No. 1, 61-95 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70-105 (2018).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Full Text: DOI

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

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
PDF BibTeX XML Cite
Full Text: DOI

Turing computability: structural theory. (English. Russian original) Zbl 07364536

J. Math. Sci., New York 256, No. 1, 1-33 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8-41 (2018).
PDF BibTeX XML Cite
Full Text: DOI

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).
MSC:  03D45 03D25 03D30
PDF BibTeX XML Cite
Full Text: DOI

Computability of algebraic and definable closure. (English) Zbl 07197402

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 1-11 (2020).
MSC:  03C57 03D45
PDF BibTeX XML Cite
Full Text: DOI

Degree spectra for transcendence in fields. (English) Zbl 1434.03096

Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 205-216 (2019).
MSC:  03C57
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cohesive powers of linear orders. (English) Zbl 1434.03095

Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 168-180 (2019).
MSC:  03C57
PDF BibTeX XML Cite
Full Text: DOI arXiv

Groups with orderings of arbitrary algorithmic complexity. (English) Zbl 1448.03023

Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 221-251 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software