Faizrahmanov, Marat; Kach, Asher; Kalimullin, Iskander; Montalbán, Antonio; Puzarenko, Vadim Jump inversions of algebraic structures and \(\Sigma \)-definability. (English) Zbl 07197304 Math. Log. Q. 65, No. 1, 37-45 (2019). MSC: 03 PDF BibTeX XML Cite \textit{M. Faizrahmanov} et al., Math. Log. Q. 65, No. 1, 37--45 (2019; Zbl 07197304) Full Text: DOI
Kalimullin, I. Shs.; Kach, A.; Montalbán, A.; Puzarenko, V. G.; Faizrahmanov, M. Kh. Jump inversions of algebraic structures and the \({\Sigma}\)-definability. (English. Russian original) Zbl 06979347 Algebra Logic 57, No. 2, 161-165 (2018); translation from Algebra Logika 57, No. 2, 243-249 (2018). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{I. Shs. Kalimullin} et al., Algebra Logic 57, No. 2, 161--165 (2018; Zbl 06979347); translation from Algebra Logika 57, No. 2, 243--249 (2018) Full Text: DOI
Greenberg, Noam; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computability and uncountable linear orders. II: Degree spectra. (English) Zbl 1359.03035 J. Symb. Log. 80, No. 1, 145-178 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDF BibTeX XML Cite \textit{N. Greenberg} et al., J. Symb. Log. 80, No. 1, 145--178 (2015; Zbl 1359.03035) Full Text: DOI
Greenberg, Noam; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computability and uncountable linear orders. I: Computable categoricity. (English) Zbl 1359.03034 J. Symb. Log. 80, No. 1, 116-144 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDF BibTeX XML Cite \textit{N. Greenberg} et al., J. Symb. Log. 80, No. 1, 116--144 (2015; Zbl 1359.03034) Full Text: DOI
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Lewis-Pye, Andrew E. M.; Montalbán, Antonio; Turetsky, Daniel D. The complexity of computable categoricity. (English) Zbl 1345.03063 Adv. Math. 268, 423-466 (2015). MSC: 03C57 03C35 03D45 03D60 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Adv. Math. 268, 423--466 (2015; Zbl 1345.03063) Full Text: DOI
Andrews, U.; Kach, A. M. Computing and dominating the Ryll-Nardzewski function. (English. Russian original) Zbl 1323.03038 Algebra Logic 53, No. 2, 176-183 (2014); translation from Algebra Logika 53, No. 2, 271-281 (2014). MSC: 03C35 03C57 03D45 PDF BibTeX XML Cite \textit{U. Andrews} and \textit{A. M. Kach}, Algebra Logic 53, No. 2, 176--183 (2014; Zbl 1323.03038); translation from Algebra Logika 53, No. 2, 271--281 (2014) Full Text: DOI
Kach, Asher M.; Montalbán, Antonio Undecidability of the theories of classes of structures. (English) Zbl 1353.03048 J. Symb. Log. 79, No. 4, 1001-1019 (2014). MSC: 03D35 03D45 03C57 03F35 PDF BibTeX XML Cite \textit{A. M. Kach} and \textit{A. Montalbán}, J. Symb. Log. 79, No. 4, 1001--1019 (2014; Zbl 1353.03048) Full Text: DOI
Kach, Asher M.; Lange, Karen; Solomon, Reed Degrees of orders on torsion-free abelian groups. (English) Zbl 1323.03058 Ann. Pure Appl. Logic 164, No. 7-8, 822-836 (2013). MSC: 03D45 03C57 03D28 06F20 PDF BibTeX XML Cite \textit{A. M. Kach} et al., Ann. Pure Appl. Logic 164, No. 7--8, 822--836 (2013; Zbl 1323.03058) Full Text: DOI
Franklin, Johanna N. Y.; Kach, Asher M.; Miller, Russell; Solomon, Reed Local computability for ordinals. (English) Zbl 1433.03118 Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 161-170 (2013). MSC: 03D60 03C57 03D45 03E10 PDF BibTeX XML Cite \textit{J. N. Y. Franklin} et al., Lect. Notes Comput. Sci. 7921, 161--170 (2013; Zbl 1433.03118) Full Text: DOI
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computable categoricity versus relative computable categoricity. (English) Zbl 1320.03070 Fundam. Math. 221, No. 2, 129-159 (2013). Reviewer: Noam Greenberg (Wellington) MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Fundam. Math. 221, No. 2, 129--159 (2013; Zbl 1320.03070) Full Text: DOI
Kach, Asher M.; Lerman, Manuel; Solomon, Reed Cappable CEA sets and Ramsey’s theorem. (English) Zbl 1280.03041 Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 114-127 (2012). Reviewer: Vadim Puzarenko (Novosibirsk) MSC: 03C57 03D45 03C55 03D25 03B30 PDF BibTeX XML Cite \textit{A. M. Kach} et al., in: Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22--27, 2009. Hackensack, NJ: World Scientific. 114--127 (2012; Zbl 1280.03041) Full Text: DOI
Downey, Rodney G.; Kach, Asher M.; Turetsky, Daniel Limitwise monotonic functions and their applications. (English) Zbl 1279.03063 Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 59-85 (2012). Reviewer: Vadim Puzarenko (Novosibirsk) MSC: 03C57 03D20 03D25 03-02 PDF BibTeX XML Cite \textit{R. G. Downey} et al., in: Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22--27, 2009. Hackensack, NJ: World Scientific. 59--85 (2012; Zbl 1279.03063) Full Text: DOI
Andersen, Brooke M.; Kach, Asher M.; Melnikov, Alexander G.; Solomon, Reed Jump degrees of torsion-free abelian groups. (English) Zbl 1273.03142 J. Symb. Log. 77, No. 4, 1067-1100 (2012). MSC: 03D45 20K15 20K20 PDF BibTeX XML Cite \textit{B. M. Andersen} et al., J. Symb. Log. 77, No. 4, 1067--1100 (2012; Zbl 1273.03142) Full Text: DOI Euclid
Kach, Asher M.; Lempp, Steffen Downward closure of depth in countable Boolean algebras. (English) Zbl 1260.06016 Algebra Univers. 68, No. 1-2, 57-74 (2012). Reviewer: James Monk (Boulder) MSC: 06E05 PDF BibTeX XML Cite \textit{A. M. Kach} and \textit{S. Lempp}, Algebra Univers. 68, No. 1--2, 57--74 (2012; Zbl 1260.06016) Full Text: DOI
Kach, Asher M.; Montalbán, Antonio Cuts of linear orders. (English) Zbl 1259.03055 Order 28, No. 3, 593-600 (2011). Reviewer: Jennifer Chubb (San Francisco) MSC: 03D45 PDF BibTeX XML Cite \textit{A. M. Kach} and \textit{A. Montalbán}, Order 28, No. 3, 593--600 (2011; Zbl 1259.03055) Full Text: DOI
Downey, Rodney G.; Kach, Asher M. Euclidean functions of computable Euclidean domains. (English) Zbl 1260.03082 Notre Dame J. Formal Logic 52, No. 2, 163-172 (2011). MSC: 03D45 03B30 PDF BibTeX XML Cite \textit{R. G. Downey} and \textit{A. M. Kach}, Notre Dame J. Formal Logic 52, No. 2, 163--172 (2011; Zbl 1260.03082) Full Text: DOI
Kach, Asher M. Depth zero Boolean algebras. (English) Zbl 1203.03057 Trans. Am. Math. Soc. 362, No. 8, 4243-4265 (2010). Reviewer: Iskander Kalimullin (Kazan) MSC: 03D45 03C57 06E05 PDF BibTeX XML Cite \textit{A. M. Kach}, Trans. Am. Math. Soc. 362, No. 8, 4243--4265 (2010; Zbl 1203.03057) Full Text: DOI
Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel Decidability and computability of certain torsion-free abelian groups. (English) Zbl 1211.03063 Notre Dame J. Formal Logic 51, No. 1, 85-96 (2010). Reviewer: Marius Zimand (Towson) MSC: 03D45 03B25 20K15 20K20 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Notre Dame J. Formal Logic 51, No. 1, 85--96 (2010; Zbl 1211.03063) Full Text: DOI
Kach, Asher M.; Levin, Oscar; Solomon, Reed Embeddings of computable structures. (English) Zbl 1207.03041 Notre Dame J. Formal Logic 51, No. 1, 55-68 (2010). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{A. M. Kach} et al., Notre Dame J. Formal Logic 51, No. 1, 55--68 (2010; Zbl 1207.03041) Full Text: DOI
Kach, Asher M.; Turetsky, Daniel Limitwise monotonic functions, sets, and degrees on computable domains. (English) Zbl 1184.03043 J. Symb. Log. 75, No. 1, 131-154 (2010). MSC: 03D45 PDF BibTeX XML Cite \textit{A. M. Kach} and \textit{D. Turetsky}, J. Symb. Log. 75, No. 1, 131--154 (2010; Zbl 1184.03043) Full Text: DOI
Kach, Asher M.; Turetsky, Daniel \(\Delta^0_2\)-categoricity of equivalence structures. (English) Zbl 1234.03021 N. Z. J. Math. 39, 143-149 (2009). MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{A. M. Kach} and \textit{D. Turetsky}, N. Z. J. Math. 39, 143--149 (2009; Zbl 1234.03021) Full Text: Link
Kach, Asher M. Computable shuffle sums of ordinals. (English) Zbl 1149.03034 Arch. Math. Logic 47, No. 3, 211-219 (2008). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 PDF BibTeX XML Cite \textit{A. M. Kach}, Arch. Math. Logic 47, No. 3, 211--219 (2008; Zbl 1149.03034) Full Text: DOI
Downey, Rodney G.; Hirschfeldt, Denis R.; Kach, Asher M.; Lempp, Steffen; Mileti, Joseph R.; Montalbán, Antonio Subspaces of computable vector spaces. (English) Zbl 1127.03036 J. Algebra 314, No. 2, 888-894 (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D45 03B30 03F35 PDF BibTeX XML Cite \textit{R. G. Downey} et al., J. Algebra 314, No. 2, 888--894 (2007; Zbl 1127.03036) Full Text: DOI