×

Found 107 Documents (Results 1–100)

100
MathJax

Primitive recursive ordered fields and some applications. (English) Zbl 07497964

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 353-369 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

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

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

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

Minimal weak truth table degrees and computably enumerable Turing degrees. (English) Zbl 1460.03002

Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

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

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

Generalizing computability theory to abstract algebras. (English) Zbl 1403.03077

Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 127-160 (2015).
MSC:  03D75 03D78
PDF BibTeX XML Cite
Full Text: DOI Link

Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations. (English. Russian original) Zbl 1375.03036

Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015).
MSC:  03C57 03C35 03D45
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

Adapting Rabin’s theorem for differential fields. (English) Zbl 1345.03083

Löwe, Benedikt (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). Lecture Notes in Computer Science 6735, 211-220 (2011).
MSC:  03D45 12H05
PDF BibTeX XML Cite
Full Text: DOI

Spectra of algebraic fields and subfields. (English) Zbl 1268.03040

Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 232-241 (2009).
MSC:  03C57 03D28
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software