Document Search Results

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, 385-394 (2021).

MSC: 68Qxx

Cite Review PDF

Full Text: DOI arXiv

Goncharov, S. S.; Harizanov, V.; Miller, R.

On decidable categoricity and almost prime models. (English) Zbl 1446.03069

Sib. Adv. Math. 30, No. 3, 200-212 (2020).

MSC: 03C57 03C35 03D45

Cite Review PDF

Full Text: DOI

Bazhenov, N. A.; Harrison-Trainor, M.

Constructing decidable graphs from decidable structures. (English. Russian original) Zbl 1480.03022

Algebra Logic 58, No. 5, 369-382 (2019); translation from Algebra Logika 58, No. 5, 553-573 (2019).

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI

Goncharov, S. S.; Miller, R.; Harizanov, V.

Turing degrees of complete formulas of almost prime models. (English. Russian original) Zbl 1485.03112

Algebra Logic 58, No. 3, 282-287 (2019); translation from Algebra Logika 58, No. 3, 417-425 (2019).

MSC: 03C57 03D28 03D45

Cite Review PDF

Full Text: DOI

Csima, Barbara F.; Stephenson, Jonathan

Finite computable dimension and degrees of categoricity. (English) Zbl 1532.03063

Ann. Pure Appl. Logic 170, No. 1, 58-94 (2019).

MSC: 03D45 03C57

Cite Review PDF

Full Text: DOI

Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel

Uniform procedures in uncountable structures. (English) Zbl 1522.03124

J. Symb. Log. 83, No. 2, 529-550 (2018).

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI Link

Miller, Russell; Poonen, Bjorn; Schoutens, Hans; Shlapentokh, Alexandra

A computable functor from graphs to fields. (English) Zbl 1447.03005

J. Symb. Log. 83, No. 1, 326-348 (2018).

MSC: 03C57 03D45 12L12 18A22 08A35

Cite Review PDF

Full Text: DOI arXiv Link

Bazhenov, N. A.

Effective categoricity for distributive lattices and Heyting algebras. (English) Zbl 1420.03070

Lobachevskii J. Math. 38, No. 4, 600-614 (2017).

MSC: 03C57 03D45 03C35 06D05 06D20

Cite Review PDF

Full Text: DOI

Hirschfeldt, Denis R.

Some questions in computable mathematics. (English) Zbl 1480.03006

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, 22-55 (2017).

MSC: 03B30 03C57 03Dxx

Cite Review PDF

Full Text: DOI

Backlinks: MO MO

Downey, Rodney; Melnikov, Alexander G.; Ng, Keng Meng

Abelian \(p\)-groups and the halting problem. (English) Zbl 1402.03067

Ann. Pure Appl. Logic 167, No. 11, 1123-1138 (2016).

MSC: 03D45 03C57 20K99

Cite Review PDF

Full Text: DOI

Bazhenov, N. A.

Boolean algebras with distinguished endomorphisms and generating trees. (Russian, English) Zbl 1349.03034

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 15, No. 1, 29-44 (2015); translation in J. Math. Sci., New York 215, No. 4, 460-474 (2016).

MSC: 03C57 03D45 06E05

Cite Review PDF

Full Text: DOI

Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.

Index sets of autostable relative to strong constructivizations constructive models for familiar classes. (English. Russian original) Zbl 1382.03060

Dokl. Math. 92, No. 2, 525-527 (2015); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 464, No. 1, 12-14 (2015).

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI

Fokina, E. B.; Goncharov, S. S.; Harizanov, V.; Kudinov, O. V.; Turetsky, D.

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

Cite Review PDF

Full Text: DOI

Goncharov, S. S.; Marchuk, M. I.

Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. (English. Russian original) Zbl 1330.03076

Dokl. Math. 91, No. 2, 158-159 (2015); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 461, No. 2, 140-142 (2015).

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI

Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea

Friedberg numberings in the Ershov hierarchy. (English) Zbl 1341.03055

Arch. Math. Logic 54, No. 1-2, 59-73 (2015).

Reviewer: Andrei S. Morozov (Novosibirsk)

MSC: 03D45 03D55

Cite Review PDF

Full Text: DOI Link

Morozov, A. S.

\(\Sigma\)-presentations of the ordering on the reals. (English. Russian original) Zbl 1323.03047

Algebra Logic 53, No. 3, 217-237 (2014); translation from Algebra Logika 53, No. 3, 340-371 (2014).

MSC: 03C57 03D45 03C70

Cite Review PDF

Full Text: DOI

Goncharov, S. S.; Marchuk, M. I.

Index sets of constructive models that are autostable under strong constructivizations. (Russian, English) Zbl 1349.03037

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43-67 (2013); translation in J. Math. Sci., New York 205, No. 3, 368-388 (2015).

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI

Blanck, Jens; Stoltenberg-Hansen, Viggo; Tucker, John V.

Stability of representations of effective partial algebras. (English) Zbl 1222.03048

Math. Log. Q. 57, No. 2, 217-231 (2011).

MSC: 03D45

Cite Review PDF

Full Text: DOI

Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell

Degrees of categoricity of computable structures. (English) Zbl 1184.03026

Arch. Math. Logic 49, No. 1, 51-67 (2010).

MSC: 03C57 03C35 03D28

Cite Review PDF

Full Text: DOI

Melnikov, Alexander G.

\(\mathbf 0''\)-categorical completely decomposable torsion-free abelian groups. (English) Zbl 1268.03042

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, 362-371 (2009).

MSC: 03C57 03C35 20K15 20K20

Cite Review PDF

Full Text: DOI

Lempp, Steffen; McCoy, Charles; Miller, Russell; Solomon, Reed

Computable categoricity of trees of finite height. (English) Zbl 1104.03026

J. Symb. Log. 70, No. 1, 151-215 (2005).

Reviewer: Andrei S. Morozov (Novosibirsk)

MSC: 03C57 03D45 03C35

Cite Review PDF

Full Text: DOI Link

McCoy, Charles F. D.

\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings. (English) Zbl 1016.03036

Ann. Pure Appl. Logic 119, No. 1-3, 85-120 (2003).

MSC: 03C57 03D45 03C35

Cite Review PDF

Full Text: DOI

Hirschfeldt, Denis R.

Degree spectra of relations on structures of finite computable dimension. (English) Zbl 1016.03035

Ann. Pure Appl. Logic 115, No. 1-3, 233-277 (2002).

Reviewer: Andrei S.Morozov (Novosibirsk)

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI

Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.

Degree spectra and computable dimensions in algebraic structures. (English) Zbl 1016.03034

Ann. Pure Appl. Logic 115, No. 1-3, 71-113 (2002).

Reviewer: Andrei S.Morozov (Novosibirsk)

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI

Hirschfeldt, Denis R.

Degree spectra of intrinsically c. e. relations. (English) Zbl 0988.03065

J. Symb. Log. 66, No. 2, 441-469 (2001).

MSC: 03D45 03D25

Cite Review PDF

Full Text: DOI

Hirschfeldt, Denis R.

Degree spectra of relations on computable structures. (English) Zbl 0968.03038

Bull. Symb. Log. 6, No. 2, 197-212 (2000).

Reviewer: Andrei S.Morozov (Novosibirsk)

MSC: 03C57 03D45

Cite Review PDF

Full Text: DOI Link

Khoussainov, Bakhadyr; Nerode, Anil

Automatic presentations of structures. (English) Zbl 1540.03086

Leivant, Daniel (ed.), Logic and computational complexity. International workshop, LCC ’94, Indianapolis, IN, USA, October 13–16, 1994. Selected Papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 960, 367-392 (1995).

MSC: 03D45 03C57 03D05 68Q45

Cite Review PDF

Full Text: DOI

Harizanov, Valentina S.

The possible Turing degree of the nonzero member in a two element degree spectrum. (English) Zbl 0773.03027

Ann. Pure Appl. Logic 60, No. 1, 1-30 (1993).

Reviewer: R.Downey (Wellington)

MSC: 03C57 03D30

Cite Review PDF

Full Text: DOI

Kummer, Martin

Some applications of computable one-one numberings. (English) Zbl 0714.03038

Arch. Math. Logic 30, No. 4, 219-230 (1990).

Reviewer: C.Calude

MSC: 03D45

Cite Review PDF

Full Text: DOI

Found 33 Documents (Results 1–33)

Decidable categoricity spectra for almost prime models. (English. Russian original) Zbl 07906266

Computable Heyting algebras with distinguished atoms and coatoms. (English) Zbl 07727818

A local version of the Slaman-Wehner theorem and families closed under finite differences. (English) Zbl 07720262

Complexity of the problem of being equivalent to Horn formulas. (English. Russian original) Zbl 1515.03183

Positive enumerable functors. (English) Zbl 07495185

On decidable categoricity and almost prime models. (English) Zbl 1446.03069

Constructing decidable graphs from decidable structures. (English. Russian original) Zbl 1480.03022

Turing degrees of complete formulas of almost prime models. (English. Russian original) Zbl 1485.03112

Finite computable dimension and degrees of categoricity. (English) Zbl 1532.03063

Uniform procedures in uncountable structures. (English) Zbl 1522.03124

A computable functor from graphs to fields. (English) Zbl 1447.03005

Effective categoricity for distributive lattices and Heyting algebras. (English) Zbl 1420.03070

Some questions in computable mathematics. (English) Zbl 1480.03006

Abelian \(p\)-groups and the halting problem. (English) Zbl 1402.03067

Boolean algebras with distinguished endomorphisms and generating trees. (Russian, English) Zbl 1349.03034

Index sets of autostable relative to strong constructivizations constructive models for familiar classes. (English. Russian original) Zbl 1382.03060

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

Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. (English. Russian original) Zbl 1330.03076

Friedberg numberings in the Ershov hierarchy. (English) Zbl 1341.03055

\(\Sigma\)-presentations of the ordering on the reals. (English. Russian original) Zbl 1323.03047

Index sets of constructive models that are autostable under strong constructivizations. (Russian, English) Zbl 1349.03037

Stability of representations of effective partial algebras. (English) Zbl 1222.03048

Degrees of categoricity of computable structures. (English) Zbl 1184.03026

\(\mathbf 0''\)-categorical completely decomposable torsion-free abelian groups. (English) Zbl 1268.03042

Computable categoricity of trees of finite height. (English) Zbl 1104.03026

\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings. (English) Zbl 1016.03036

Degree spectra of relations on structures of finite computable dimension. (English) Zbl 1016.03035

Degree spectra and computable dimensions in algebraic structures. (English) Zbl 1016.03034

Degree spectra of intrinsically c. e. relations. (English) Zbl 0988.03065

Degree spectra of relations on computable structures. (English) Zbl 0968.03038

Automatic presentations of structures. (English) Zbl 1540.03086

The possible Turing degree of the nonzero member in a two element degree spectrum. (English) Zbl 0773.03027

Some applications of computable one-one numberings. (English) Zbl 0714.03038

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software