Stukachev, A. I. Interval extensions of orders and temporal approximation spaces. (English. Russian original) Zbl 07401169 Sib. Math. J. 62, No. 4, 730-741 (2021); translation from Sib. Mat. Zh. 62, No. 4, 894-910 (2021). MSC: 03Dxx 03Cxx 03-XX PDFBibTeX XMLCite \textit{A. I. Stukachev}, Sib. Math. J. 62, No. 4, 730--741 (2021; Zbl 07401169); translation from Sib. Mat. Zh. 62, No. 4, 894--910 (2021) Full Text: DOI
Furber, Robert Scott continuity in generalized probabilistic theories. (English) Zbl 07453175 Coecke, Bob (ed.) et al., Proceedings of the 16th international conference on quantum physics and logic, QPL 2019, Chapman University, Orange, CA, USA, June 10–14, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 318, 66-84 (2020). MSC: 03G12 81P10 PDFBibTeX XMLCite \textit{R. Furber}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 318, 66--84 (2020; Zbl 07453175) Full Text: arXiv Link
Ershov, Yu. L. The \(d\)-rank of an \(\alpha \)-space does not exceed 1. (English. Russian original) Zbl 1457.54024 Algebra Logic 58, No. 6, 470-474 (2020); translation from Algebra Logika 58, No. 6, 706-713 (2019). MSC: 54F05 06B35 03E75 54A25 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Algebra Logic 58, No. 6, 470--474 (2020; Zbl 1457.54024); translation from Algebra Logika 58, No. 6, 706--713 (2019) Full Text: DOI
Keimel, Klaus The Cuntz semigroup and domain theory. (English) Zbl 1391.46066 Soft Comput. 21, No. 10, 2485-2502 (2017). MSC: 46L05 06B35 68Q55 PDFBibTeX XMLCite \textit{K. Keimel}, Soft Comput. 21, No. 10, 2485--2502 (2017; Zbl 1391.46066) Full Text: DOI arXiv
Spreen, Dieter Some results related to the continuity problem. (English) Zbl 1456.03063 Math. Struct. Comput. Sci. 27, No. 8, 1601-1624 (2017). MSC: 03D45 03D78 03F60 PDFBibTeX XMLCite \textit{D. Spreen}, Math. Struct. Comput. Sci. 27, No. 8, 1601--1624 (2017; Zbl 1456.03063) Full Text: DOI arXiv
Stukachev, A. I. Generalized hyperarithmetical computability over structures. (English. Russian original) Zbl 1420.03077 Algebra Logic 55, No. 6, 507-526 (2017); translation from Algebra Logika 55, No. 6, 769-799 (2016). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{A. I. Stukachev}, Algebra Logic 55, No. 6, 507--526 (2017; Zbl 1420.03077); translation from Algebra Logika 55, No. 6, 769--799 (2016) Full Text: DOI
Zhao, Dongsheng; Ho, Weng Kin On topologies defined by irreducible sets. (English) Zbl 1308.54019 J. Log. Algebr. Methods Program. 84, No. 1, 185-195 (2015). Reviewer: Hans Peter Künzi (Rondebosch) MSC: 54D10 06B35 PDFBibTeX XMLCite \textit{D. Zhao} and \textit{W. K. Ho}, J. Log. Algebr. Methods Program. 84, No. 1, 185--195 (2015; Zbl 1308.54019) Full Text: DOI
Stukachev, Alexey On processes and structures. (English) Zbl 1433.03119 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, 393-402 (2013). MSC: 03D60 03D45 03D78 PDFBibTeX XMLCite \textit{A. Stukachev}, Lect. Notes Comput. Sci. 7921, 393--402 (2013; Zbl 1433.03119) Full Text: DOI
Selivanov, Victor L. Towards a descriptive set theory for domain-like structures. (English) Zbl 1108.03050 Theor. Comput. Sci. 365, No. 3, 258-282 (2006). Reviewer: Miroslav Repický (Košice) MSC: 03E15 54H05 06B35 03D45 68Q85 54D10 PDFBibTeX XMLCite \textit{V. L. Selivanov}, Theor. Comput. Sci. 365, No. 3, 258--282 (2006; Zbl 1108.03050) Full Text: DOI
Ershov, Yu. L. On \(d\)-spaces. (English) Zbl 0976.54015 Theor. Comput. Sci. 224, No. 1-2, 59-72 (1999). MSC: 54C35 68Q55 54B35 54D10 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Theor. Comput. Sci. 224, No. 1--2, 59--72 (1999; Zbl 0976.54015) Full Text: DOI
Ershov, Yu. L. The bounded-complete hull of an \(\alpha\)-space. (English) Zbl 0912.68134 Theor. Comput. Sci. 175, No. 1, 3-13 (1997). MSC: 68Q65 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Theor. Comput. Sci. 175, No. 1, 3--13 (1997; Zbl 0912.68134) Full Text: DOI
Longo, Giuseppe; Moggi, E. The hereditary partial effective functionals and recursion theory in higher types. (English) Zbl 0599.03051 J. Symb. Log. 49, 1319-1332 (1984). MSC: 03D65 03D45 PDFBibTeX XMLCite \textit{G. Longo} and \textit{E. Moggi}, J. Symb. Log. 49, 1319--1332 (1984; Zbl 0599.03051) Full Text: DOI