Li, Ming-Chia On the Banach mapping theorem and a related conjecture. (English) Zbl 07524619 Rocky Mt. J. Math. 52, No. 1, 183-187 (2022). MSC: 03E30 37B35 37C25 47H10 PDFBibTeX XMLCite \textit{M.-C. Li}, Rocky Mt. J. Math. 52, No. 1, 183--187 (2022; Zbl 07524619) Full Text: DOI Link
Coghetto, Roland Groups – additive notation. (English) Zbl 1318.20001 Formaliz. Math. 23, No. 2, 127-160 (2015). MSC: 20A05 22A05 03B35 PDFBibTeX XMLCite \textit{R. Coghetto}, Formaliz. Math. 23, No. 2, 127--160 (2015; Zbl 1318.20001) Full Text: DOI
Wehrung, Friedrich Infinite combinatorial issues raised by lifting problems in universal algebra. (English) Zbl 1250.08002 Order 29, No. 2, 381-404 (2012). MSC: 08A30 03E05 03E50 06A07 06A12 08B99 18A30 PDFBibTeX XMLCite \textit{F. Wehrung}, Order 29, No. 2, 381--404 (2012; Zbl 1250.08002) Full Text: DOI arXiv
Dodos, Pandelis Banach spaces and descriptive set theory: selected topics. (English) Zbl 1215.46002 Lecture Notes in Mathematics 1993. Berlin: Springer (ISBN 978-3-642-12152-4/pbk; 978-3-642-12153-1/ebook). xi, 161 p. (2010). Reviewer: Daniel Li (Lens) MSC: 46-02 46B03 46B07 46B15 05D10 03E15 54H05 PDFBibTeX XMLCite \textit{P. Dodos}, Banach spaces and descriptive set theory: selected topics. Berlin: Springer (2010; Zbl 1215.46002) Full Text: DOI
Pippenger, Nicholas Theories of computability. (English) Zbl 0879.03013 Cambridge: Cambridge University Press. ix, 251 p. (1997). Reviewer: U.Schöning (Ulm) MSC: 03Dxx 68Qxx 03-01 68-01 03D05 03D10 03D75 03D35 68Q45 68Q70 68Q42 PDFBibTeX XMLCite \textit{N. Pippenger}, Theories of computability. Cambridge: Cambridge University Press (1997; Zbl 0879.03013)
Gasarch, William; Martin, Georgia Index sets in recursive combinatorics. (English) Zbl 0824.03023 Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 352-385 (1993). Reviewer: M.Zimand (Rochester) MSC: 03D80 03D45 PDFBibTeX XMLCite \textit{W. Gasarch} and \textit{G. Martin}, Prog. Comput. Sci. Appl. Log. 12, 352--385 (1993; Zbl 0824.03023)
Spreen, Dieter A characterization of effective topological spaces. II. (English) Zbl 0736.03013 Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 231-255 (1991). Reviewer: M.Zimand (Bucureşti) MSC: 03D45 68Q55 54A99 PDFBibTeX XMLCite \textit{D. Spreen}, in: Topology, computer science, and the mathematics of convergence. . 231--255 (1991; Zbl 0736.03013)
Cameron, Peter J. Oligomorphic permutation groups. (English) Zbl 0813.20002 London Mathematical Society Lecture Note Series. 152. Cambridge: Cambridge University Press. viii, 160 p. (1990). Reviewer: H.D.Macpherson (Leeds) MSC: 20B07 03C60 20-02 PDFBibTeX XMLCite \textit{P. J. Cameron}, Oligomorphic permutation groups. Cambridge: Cambridge University Press (1990; Zbl 0813.20002)
Spreen, Dieter A characterization of effective topological spaces. (English) Zbl 0705.03023 Recursion theory week, Proc. Conf., Oberwolfach/FRG 1989, Lect. Notes Math. 1432, 363-387 (1990). Reviewer: M.Zimand MSC: 03D45 PDFBibTeX XML
Arslanov, M. M. Local theory of degrees of unsolvability and \(\Delta_2^0\)-sets. (Локальная теория степеней неразрешимости и \(\Делта_2^0\)-множества.) (Russian) Zbl 0875.03082 Kazan’: Izdatel’stvo Kazanskogo Universiteta, 140 p. (1987). MSC: 03D30 03-02 03D20 PDFBibTeX XMLCite \textit{M. M. Arslanov}, Локальная теория степеней неразрешимости и \(\Делта_2^0\)-множества (Russian). Kazan': Izdatel'stvo Kazanskogo Universiteta (1987; Zbl 0875.03082)
Scedrov, Andre Some aspects of categorical semantics: Sheaves and glueing. (English) Zbl 0665.03043 Logic colloq. ’85, Proc. Colloq., Orsay/France 1985, Stud. Logic Found. Math. 122, 281-301 (1987). Reviewer: A.Kock MSC: 03F55 18B25 54C40 PDFBibTeX XML
Arslanov, M. M. The recursion theorem, approximations, and classifying index sets of recursively enumerable sets. (English) Zbl 0648.03029 Fundamentals of computation theory, Proc. Int. Conf., Kazan/USSR 1987, Lect. Notes Comput. Sci. 278, 34-37 (1987). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 PDFBibTeX XML
Martensen, Erich Riesz theory without axiom of choice. (English) Zbl 0617.47015 Proc. Am. Math. Soc. 99, 496-500 (1987). MSC: 47B06 03E25 PDFBibTeX XMLCite \textit{E. Martensen}, Proc. Am. Math. Soc. 99, 496--500 (1987; Zbl 0617.47015) Full Text: DOI
Fribourg, Laurent A superposition oriented theorem prover. (English) Zbl 0569.68075 Theor. Comput. Sci. 35, 129-164 (1985). Reviewer: H.P.Schmitt MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{L. Fribourg}, Theor. Comput. Sci. 35, 129--164 (1985; Zbl 0569.68075) Full Text: DOI
Leitsch, A. Enumerations of subrecursive classes and self-reproducing automata. I: Effective translations and decidable indexsets. (English) Zbl 0575.03031 Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 193, 19-44 (1984). Reviewer: A.A.Mullin MSC: 03D20 68Q80 68Q60 03D45 03D05 PDFBibTeX XMLCite \textit{A. Leitsch}, Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. 193, 19--44 (1984; Zbl 0575.03031)
Li, Xiang Effective immune sets, program index sets and effectively simple sets - generalizations and applications of the recursion theorem. (English) Zbl 0541.03022 Logic, Proc. Southeast Asian Conf., Singapore 1981, Stud. Logic Found. Math. 111, 97-106 (1983). MSC: 03D20 03D25 PDFBibTeX XML
Deligne, Pierre; Sullivan, Dennis Division algebras and the Hausdorff-Banach-Tarski paradox. (English) Zbl 0521.57035 Enseign. Math., II. Sér. 29, 145-150 (1983). MSC: 57S25 20E05 16Kxx 03E25 11R11 PDFBibTeX XMLCite \textit{P. Deligne} and \textit{D. Sullivan}, Enseign. Math. (2) 29, 145--150 (1983; Zbl 0521.57035)