Freund, Anton How strong are single fixed points of normal functions? (English) Zbl 07303641 J. Symb. Log. 85, No. 2, 709-732 (2020). MSC: 03B30 03F15 03E10 03D60 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 85, No. 2, 709--732 (2020; Zbl 07303641) Full Text: DOI
Freund, Anton Computable aspects of the Bachmann-Howard principle. (English) Zbl 07244013 J. Math. Log. 20, No. 2, Article ID 2050006, 26 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 PDF BibTeX XML Cite \textit{A. Freund}, J. Math. Log. 20, No. 2, Article ID 2050006, 26 p. (2020; Zbl 07244013) Full Text: DOI
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue On the strength of Ramsey’s theorem for trees. (English) Zbl 1444.03012 Adv. Math. 369, Article ID 107180, 38 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Adv. Math. 369, Article ID 107180, 38 p. (2020; Zbl 1444.03012) Full Text: DOI
Amend, Nils; Deligne, Pierre; Röhrle, Gerhard On the \(K(\pi,1)\)-problem for restrictions of complex reflection arrangements. (English) Zbl 07159518 Compos. Math. 156, No. 3, 526-532 (2020). MSC: 14N20 20F55 52C35 13N15 PDF BibTeX XML Cite \textit{N. Amend} et al., Compos. Math. 156, No. 3, 526--532 (2020; Zbl 07159518) Full Text: DOI
Freund, Anton A categorical construction of Bachmann-Howard fixed points. (English) Zbl 1448.03008 Bull. Lond. Math. Soc. 51, No. 5, 801-814 (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, Bull. Lond. Math. Soc. 51, No. 5, 801--814 (2019; Zbl 1448.03008) Full Text: DOI
Freund, Anton \(\Pi_1^1\)-comprehension as a well-ordering principle. (English) Zbl 1441.03012 Adv. Math. 355, Article ID 106767, 65 p. (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, Adv. Math. 355, Article ID 106767, 65 p. (2019; Zbl 1441.03012) Full Text: DOI
Vasilevska, Violeta Coperfectly Hopfian groups and shape fibrator’s properties. (English) Zbl 1426.57042 Topology Appl. 266, Article ID 106842, 11 p. (2019). Reviewer: Ivan Ivanšić (Zagreb) MSC: 57N99 57M07 PDF BibTeX XML Cite \textit{V. Vasilevska}, Topology Appl. 266, Article ID 106842, 11 p. (2019; Zbl 1426.57042) Full Text: DOI
Amend, Nils; Röhrle, Gerhard The topology of arrangements of ideal type. (English) Zbl 1420.14121 Algebr. Geom. Topol. 19, No. 3, 1341-1358 (2019). Reviewer: Piotr Pokora (Kraków) MSC: 14N20 20F55 52C35 13N15 PDF BibTeX XML Cite \textit{N. Amend} and \textit{G. Röhrle}, Algebr. Geom. Topol. 19, No. 3, 1341--1358 (2019; Zbl 1420.14121) Full Text: DOI
Sugimoto, Yoshihiro The sharp energy-capacity inequality on convex symplectic manifolds. (English) Zbl 1412.53105 J. Fixed Point Theory Appl. 21, No. 1, Paper No. 13, 18 p. (2019). Reviewer: Giovanni Bazzoni (Madrid) MSC: 53D05 53D35 53D40 PDF BibTeX XML Cite \textit{Y. Sugimoto}, J. Fixed Point Theory Appl. 21, No. 1, Paper No. 13, 18 p. (2019; Zbl 1412.53105) Full Text: DOI arXiv
Röndigs, Oliver; Spitzweck, Markus; Østvær, Paul The first stable homotopy groups of motivic spheres. (English) Zbl 1406.14018 Ann. Math. (2) 189, No. 1, 1-74 (2019). Reviewer: Fangzhou Jin (Essen) MSC: 14F42 55Q45 PDF BibTeX XML Cite \textit{O. Röndigs} et al., Ann. Math. (2) 189, No. 1, 1--74 (2019; Zbl 1406.14018) Full Text: DOI
Farah, Ilijas; Magidor, Menachem Omitting types in logic of metric structures. (English) Zbl 06996240 J. Math. Log. 18, No. 2, Article ID 1850006, 58 p. (2018). MSC: 03 PDF BibTeX XML Cite \textit{I. Farah} and \textit{M. Magidor}, J. Math. Log. 18, No. 2, Article ID 1850006, 58 p. (2018; Zbl 06996240) Full Text: DOI arXiv
Amend, Nils; Möller, Tilman; Röhrle, Gerhard Restrictions of aspherical arrangements. (English) Zbl 1402.52027 Topology Appl. 249, 67-72 (2018). Reviewer: Michele Torielli (Sapporo) MSC: 52C35 32S22 PDF BibTeX XML Cite \textit{N. Amend} et al., Topology Appl. 249, 67--72 (2018; Zbl 1402.52027) Full Text: DOI
Becker, Howard A recursion theoretic property of \(\mathbf{\Sigma ^1_1}\) equivalence relations. (English) Zbl 1446.03079 Proc. Am. Math. Soc. 146, No. 11, 4921-4926 (2018). Reviewer: Longyun Ding (Tianjin) MSC: 03E15 PDF BibTeX XML Cite \textit{H. Becker}, Proc. Am. Math. Soc. 146, No. 11, 4921--4926 (2018; Zbl 1446.03079) Full Text: DOI
Ferreira, Fernando On some semi-constructive theories related to Kripke-Platek set theory. (English) Zbl 1429.03205 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 347-384 (2017). MSC: 03F10 03F35 03F65 03E70 03F50 PDF BibTeX XML Cite \textit{F. Ferreira}, Outst. Contrib. Log. 13, 347--384 (2017; Zbl 1429.03205) Full Text: DOI
Espinoza, Benjamin; Gartside, Paul; Kovan-Bakan, Merve; Mamatelashvili, Ana Strong arcwise connectedness. (English) Zbl 1394.54017 Houston J. Math. 43, No. 2, 577-610 (2017). Reviewer: Alejandro Illanes (México D.F.) MSC: 54F15 54H05 54F50 54D05 PDF BibTeX XML Cite \textit{B. Espinoza} et al., Houston J. Math. 43, No. 2, 577--610 (2017; Zbl 1394.54017) Full Text: arXiv
Gonçalves, Daciberg Lima; Guaschi, John A survey of the homotopy properties of inclusion of certain types of configuration spaces into the Cartesian product. (English) Zbl 1383.55001 Chin. Ann. Math., Ser. B 38, No. 6, 1223-1246 (2017). MSC: 55-02 55P15 55R80 20F36 55Q40 55R05 PDF BibTeX XML Cite \textit{D. L. Gonçalves} and \textit{J. Guaschi}, Chin. Ann. Math., Ser. B 38, No. 6, 1223--1246 (2017; Zbl 1383.55001) Full Text: DOI
Erkabdssib, Viveka; Fanoni, Federica Simplicial embeddings between multicurve graphs. (English) Zbl 1371.05184 Mich. Math. J. 66, No. 3, 549-567 (2017). MSC: 05C60 PDF BibTeX XML Cite \textit{V. Erkabdssib} and \textit{F. Fanoni}, Mich. Math. J. 66, No. 3, 549--567 (2017; Zbl 1371.05184) Full Text: DOI Euclid
Elias, Ben; Williamson, Geordie Diagrammatics for Coxeter groups and their braid groups. (English) Zbl 1383.20021 Quantum Topol. 8, No. 3, 413-457 (2017). Reviewer: Enrico Jabara (Venezia) MSC: 20F55 20F36 20F05 55P20 PDF BibTeX XML Cite \textit{B. Elias} and \textit{G. Williamson}, Quantum Topol. 8, No. 3, 413--457 (2017; Zbl 1383.20021) Full Text: DOI arXiv
Dykema, K.; Sukochev, F.; Zanin, D. Determinants associated to traces on operator bimodules. (English) Zbl 1389.46080 J. Oper. Theory 78, No. 1, 119-134 (2017). Reviewer: Madathum K. Viswanath (Chennai) MSC: 46L52 PDF BibTeX XML Cite \textit{K. Dykema} et al., J. Oper. Theory 78, No. 1, 119--134 (2017; Zbl 1389.46080) Full Text: DOI arXiv
Ozornova, Viktoriya Discrete Morse theory and a reformulation of the \(K(\pi,1)\)-conjecture. (English) Zbl 1397.20039 Commun. Algebra 45, No. 4, 1760-1784 (2017). Reviewer: Marek Golasiński (Olsztyn) MSC: 20F36 20M05 20M50 55R35 55U10 57M07 PDF BibTeX XML Cite \textit{V. Ozornova}, Commun. Algebra 45, No. 4, 1760--1784 (2017; Zbl 1397.20039) Full Text: DOI arXiv
Shirane, Taketo A note on splitting numbers for Galois covers and \(\pi_1\)-equivalent Zariski \(k\)-plets. (English) Zbl 1358.14018 Proc. Am. Math. Soc. 145, No. 3, 1009-1017 (2017). Reviewer: Davide Frapporti (Bayreuth) MSC: 14E20 14F45 14H30 14H50 57M12 PDF BibTeX XML Cite \textit{T. Shirane}, Proc. Am. Math. Soc. 145, No. 3, 1009--1017 (2017; Zbl 1358.14018) Full Text: DOI arXiv
Bartz, Jeremiah Induced and complete multinets. (English) Zbl 1387.14139 Callegaro, Filippo (ed.) et al., Configuration spaces. Geometry, topology and representation theory. Based on the conference, Cortona, Italy, August 31 – September 6, 2014. Cham: Springer (ISBN 978-3-319-31579-9/hbk; 978-3-319-31580-5/ebook). Springer INdAM Series 14, 213-231 (2016). MSC: 14N20 14C20 PDF BibTeX XML Cite \textit{J. Bartz}, Springer INdAM Ser. 14, 213--231 (2016; Zbl 1387.14139) Full Text: DOI arXiv
Speranski, Stanislav O. A note on hereditarily \(\Pi_1^0\)- and \(\Sigma_1^0\)-complete sets of sentences. (English) Zbl 1401.03072 J. Log. Comput. 26, No. 5, 1729-1741 (2016). MSC: 03D15 PDF BibTeX XML Cite \textit{S. O. Speranski}, J. Log. Comput. 26, No. 5, 1729--1741 (2016; Zbl 1401.03072) Full Text: DOI
Lebacque, Phillipe; Schmidt, Alexander The \( K(\pi,1)\)-property for smooth marked curves over finite fields. (English. Russian original) Zbl 1362.11094 Izv. Math. 79, No. 5, 1043-1050 (2015); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 79, No. 5, 193-200 (2015). Reviewer: Bouchaïb Sodaïgui (Valenciennes) MSC: 11R34 14F20 11R37 PDF BibTeX XML Cite \textit{P. Lebacque} and \textit{A. Schmidt}, Izv. Math. 79, No. 5, 1043--1050 (2015; Zbl 1362.11094); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 79, No. 5, 193--200 (2015) Full Text: DOI
Chong, C. T.; Yu, Liang Randomness in the higher setting. (English) Zbl 1386.03046 J. Symb. Log. 80, No. 4, 1131-1148 (2015). MSC: 03D32 03D30 68Q30 PDF BibTeX XML Cite \textit{C. T. Chong} and \textit{L. Yu}, J. Symb. Log. 80, No. 4, 1131--1148 (2015; Zbl 1386.03046) Full Text: DOI
Achinger, Piotr \(K(\pi,1)\)-neighborhoods and comparison theorems. (English) Zbl 1348.14055 Compos. Math. 151, No. 10, 1945-1964 (2015). MSC: 14F20 14F30 PDF BibTeX XML Cite \textit{P. Achinger}, Compos. Math. 151, No. 10, 1945--1964 (2015; Zbl 1348.14055) Full Text: DOI arXiv
Finkel, Olivier The exact complexity of the infinite Post Correspondence Problem. (English) Zbl 1328.68091 Inf. Process. Lett. 115, No. 6-8, 609-611 (2015). MSC: 68Q25 68Q17 68Q45 PDF BibTeX XML Cite \textit{O. Finkel}, Inf. Process. Lett. 115, No. 6--8, 609--611 (2015; Zbl 1328.68091) Full Text: DOI
Fujimoto, Kentaro Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory. (English) Zbl 1371.03089 Ann. Pure Appl. Logic 166, No. 4, 409-463 (2015). MSC: 03F15 03F05 03F35 PDF BibTeX XML Cite \textit{K. Fujimoto}, Ann. Pure Appl. Logic 166, No. 4, 409--463 (2015; Zbl 1371.03089) Full Text: DOI
Paris, Luis Lectures on Artin groups and the \(K(\pi,1)\) conjecture. (English) Zbl 1341.20034 Narasimha Sastry, N.S. (ed.), Groups of exceptional type, Coxeter groups and related geometries. Invited articles based on the presentations at the international conference on “Groups and geometries”, Bangalore, India, December 10–21, 2012. New Delhi: Springer (ISBN 978-81-322-1813-5/hbk; 978-81-322-1814-2/ebook). Springer Proceedings in Mathematics & Statistics 82, 239-257 (2014). MSC: 20F36 55R35 57M07 57M25 55P20 14N20 PDF BibTeX XML Cite \textit{L. Paris}, in: Groups of exceptional type, Coxeter groups and related geometries. Invited articles based on the presentations at the international conference on ``Groups and geometries'', Bangalore, India, December 10--21, 2012. New Delhi: Springer. 239--257 (2014; Zbl 1341.20034) Full Text: DOI
Bolotov, D. V. Topology of codimension-one foliations of nonnegative curvature. II. (English. Russian original) Zbl 1308.53047 Sb. Math. 205, No. 10, 1373-1386 (2014); translation from Mat. Sb. 205, No. 10, 3-18 (2014). MSC: 53C12 57R30 PDF BibTeX XML Cite \textit{D. V. Bolotov}, Sb. Math. 205, No. 10, 1373--1386 (2014; Zbl 1308.53047); translation from Mat. Sb. 205, No. 10, 3--18 (2014) Full Text: DOI
Ferreira, Fernando A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\). (English) Zbl 1337.03084 J. Symb. Log. 79, No. 1, 306-324 (2014). MSC: 03F10 03E70 PDF BibTeX XML Cite \textit{F. Ferreira}, J. Symb. Log. 79, No. 1, 306--324 (2014; Zbl 1337.03084) Full Text: DOI
Antonini, Paolo; Azzali, Sara; Skandalis, Georges Flat bundles, von Neumann algebras and \(K\)-theory with \(\mathbb{R}/\mathbb{Z}\)-coefficients. (English) Zbl 1315.46077 J. \(K\)-Theory 13, No. 2, 275-303 (2014). MSC: 46L80 58J28 19K56 PDF BibTeX XML Cite \textit{P. Antonini} et al., J. \(K\)-Theory 13, No. 2, 275--303 (2014; Zbl 1315.46077) Full Text: DOI
Towsner, Henry Ultrafilters in reverse mathematics. (English) Zbl 1301.03018 J. Math. Log. 14, No. 1, Article ID 1450001, 11 p. (2014). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDF BibTeX XML Cite \textit{H. Towsner}, J. Math. Log. 14, No. 1, Article ID 1450001, 11 p. (2014; Zbl 1301.03018) Full Text: DOI arXiv
Paris, Luis \(K(\pi,1)\) conjecture for Artin groups. (English. French summary) Zbl 1306.20040 Ann. Fac. Sci. Toulouse, Math. (6) 23, No. 2, Spec. Issue, 361-415 (2014). MSC: 20F36 55R35 57M07 57M25 55P20 14N20 PDF BibTeX XML Cite \textit{L. Paris}, Ann. Fac. Sci. Toulouse, Math. (6) 23, No. 2, 361--415 (2014; Zbl 1306.20040) Full Text: DOI Link
Higuchi, K.; Kihara, T. Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions. (English) Zbl 1315.03072 Ann. Pure Appl. Logic 165, No. 6, 1201-1241 (2014). MSC: 03D30 03E15 26A21 68Q32 PDF BibTeX XML Cite \textit{K. Higuchi} and \textit{T. Kihara}, Ann. Pure Appl. Logic 165, No. 6, 1201--1241 (2014; Zbl 1315.03072) Full Text: DOI
Törnquist, Asger \(\Sigma^1_2\) and \(\Pi^1_1\) mad families. (English) Zbl 1325.03058 J. Symb. Log. 78, No. 4, 1181-1182 (2013). Reviewer: Daniel W. Cunningham (Buffalo) MSC: 03E15 PDF BibTeX XML Cite \textit{A. Törnquist}, J. Symb. Log. 78, No. 4, 1181--1182 (2013; Zbl 1325.03058) Full Text: DOI Euclid arXiv
Chong, C. T.; Slaman, Theodore A.; Yang, Yue \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey’s theorem for pairs. (English) Zbl 1255.03025 Adv. Math. 230, No. 3, 1060-1077 (2012). Reviewer: Alexander Kreuzer (Lyon) MSC: 03B30 03F35 03H05 05D10 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Adv. Math. 230, No. 3, 1060--1077 (2012; Zbl 1255.03025) Full Text: DOI
Salehi, Saeed Separating bounded arithmetical theories by Herbrand consistency. (English) Zbl 1252.03136 J. Log. Comput. 22, No. 3, 545-560 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03F30 PDF BibTeX XML Cite \textit{S. Salehi}, J. Log. Comput. 22, No. 3, 545--560 (2012; Zbl 1252.03136) Full Text: DOI arXiv
Calude, Elena The complexity of Riemann’s hypothesis. (English) Zbl 1236.03031 J. Mult.-Val. Log. Soft Comput. 18, No. 3-4, 257-265 (2012). MSC: 03D15 03D10 03D32 11D41 11M26 11Y16 PDF BibTeX XML Cite \textit{E. Calude}, J. Mult.-Val. Log. Soft Comput. 18, No. 3--4, 257--265 (2012; Zbl 1236.03031) Full Text: Link
Fávaro, Vinícius V.; Jatobá, Ariosvaldo M. Holomorphy types and the Fourier-Borel transform between spaces of entire functions of a given type and order defined on Banach spaces. (English) Zbl 1250.46031 Math. Scand. 110, No. 1, 111-139 (2012). Reviewer: László Stachó (Szeged) MSC: 46G20 46E50 PDF BibTeX XML Cite \textit{V. V. Fávaro} and \textit{A. M. Jatobá}, Math. Scand. 110, No. 1, 111--139 (2012; Zbl 1250.46031) Full Text: DOI
Pamuk, Mehmetcik Homotopy self-equivalences of 4-manifolds with \(\pi _{1}\)-free second homotopy. (English) Zbl 1228.55008 J. Math. Soc. Japan 63, No. 3, 801-814 (2011). Reviewer: Kohhei Yamaguchi (Tokyo) MSC: 55P10 57N13 57R80 PDF BibTeX XML Cite \textit{M. Pamuk}, J. Math. Soc. Japan 63, No. 3, 801--814 (2011; Zbl 1228.55008) Full Text: DOI
Mints, Grigori Countable version of Omega-rule. (English) Zbl 1328.03053 Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 201-209 (2011). MSC: 03F05 PDF BibTeX XML Cite \textit{G. Mints}, Lect. Notes Comput. Sci. 6642, 201--209 (2011; Zbl 1328.03053) Full Text: DOI
Guillou, Bertrand J. The motivic fundamental group of the punctured projective line. (English) Zbl 1219.14008 J. \(K\)-Theory 7, No. 1, 19-53 (2011). Reviewer: Piotr Krasoń (Szczecin) MSC: 14C25 19E15 PDF BibTeX XML Cite \textit{B. J. Guillou}, J. \(K\)-Theory 7, No. 1, 19--53 (2011; Zbl 1219.14008) Full Text: DOI arXiv
Anderson, Bernard A. Relatively computably enumerable reals. (English) Zbl 1227.03053 Arch. Math. Logic 50, No. 3-4, 361-365 (2011). Reviewer: Xizhong Zheng (Glenside) MSC: 03D25 03D78 PDF BibTeX XML Cite \textit{B. A. Anderson}, Arch. Math. Logic 50, No. 3--4, 361--365 (2011; Zbl 1227.03053) Full Text: DOI arXiv
Nogueira, João Miguel; Segerman, Henry Incompressible surfaces in handlebodies and boundary reducible 3-manifolds. (English) Zbl 1226.57032 Topology Appl. 158, No. 4, 551-571 (2011). Reviewer: Sangbum Cho (Seoul) MSC: 57N10 57N35 PDF BibTeX XML Cite \textit{J. M. Nogueira} and \textit{H. Segerman}, Topology Appl. 158, No. 4, 551--571 (2011; Zbl 1226.57032) Full Text: DOI arXiv
Głąb, Szymon; Strobin, Filip Descriptive properties of density preserving autohomeomorphisms of the unit interval. (English) Zbl 1217.28001 Cent. Eur. J. Math. 8, No. 5, 928-936 (2010). MSC: 28A05 03E15 26A30 PDF BibTeX XML Cite \textit{S. Głąb} and \textit{F. Strobin}, Cent. Eur. J. Math. 8, No. 5, 928--936 (2010; Zbl 1217.28001) Full Text: DOI
Simpson, Stephen G. Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. (English) Zbl 1205.03002 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-15014-9/pbk). xvi, 444 p. (2010). MSC: 03-02 03B30 03F35 03C62 PDF BibTeX XML Cite \textit{S. G. Simpson}, Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2010; Zbl 1205.03002)
Lerman, L. Breaking hyperbolicity for smooth symplectic toral diffeomorphisms. (English) Zbl 1203.37036 Regul. Chaotic Dyn. 15, No. 2-3, 194-209 (2010). MSC: 37C29 37D20 37D25 37G25 PDF BibTeX XML Cite \textit{L. Lerman}, Regul. Chaotic Dyn. 15, No. 2--3, 194--209 (2010; Zbl 1203.37036) Full Text: DOI
Staš, Michal Application of Hurewicz theorem to classification of \(\Pi _1^1\)-complete sets. (English) Zbl 1224.54029 Tatra Mt. Math. Publ. 46, 65-69 (2010). Reviewer: Tsaban Boaz (Ramat-Gan) MSC: 54B20 54A20 54H05 03E15 PDF BibTeX XML Cite \textit{M. Staš}, Tatra Mt. Math. Publ. 46, 65--69 (2010; Zbl 1224.54029)
Falguières, Sébastien; Vaes, Stefaan The representation category of any compact group is the bimodule category of a \(II_{1}\) factor. (English) Zbl 1202.46073 J. Reine Angew. Math. 643, 171-199 (2010). Reviewer: Hans Weber (Udine) MSC: 46L36 46L37 22D25 PDF BibTeX XML Cite \textit{S. Falguières} and \textit{S. Vaes}, J. Reine Angew. Math. 643, 171--199 (2010; Zbl 1202.46073) Full Text: DOI arXiv
Tanaka, Kazuyuki A note on multiple inductive definitions. (English) Zbl 1195.03016 Arai, T. (ed.) et al., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). 345-352 (2010). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDF BibTeX XML Cite \textit{K. Tanaka}, in: Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1--6, 2008. Hackensack, NJ: World Scientific. 345--352 (2010; Zbl 1195.03016)
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 PDF BibTeX XML Cite \textit{P. Dodos}, Banach spaces and descriptive set theory: selected topics. Berlin: Springer (2010; Zbl 1215.46002) Full Text: DOI
Berezovski, V. E.; Mikeš, J. Almost geodesic mappings of type \(\pi_1\) onto generalized Ricci-symmetric spaces. (Russian. English summary) Zbl 1216.53030 Uch. Zap. Kazan. Gos. Univ., Ser. Fiz.-Mat. Nauki 151, No. 4, 9-14 (2009). MSC: 53C15 53B10 PDF BibTeX XML Cite \textit{V. E. Berezovski} and \textit{J. Mikeš}, Uch. Zap. Kazan. Gos. Univ., Ser. Fiz.-Mat. Nauki 151, No. 4, 9--14 (2009; Zbl 1216.53030)
Głąb, Szymon Descriptive set-theoretical properties of an abstract density operator. (English) Zbl 1185.28001 Cent. Eur. J. Math. 7, No. 4, 732-740 (2009). MSC: 28A05 03E15 PDF BibTeX XML Cite \textit{S. Głąb}, Cent. Eur. J. Math. 7, No. 4, 732--740 (2009; Zbl 1185.28001) Full Text: DOI
Głąb, Szymon On the complexity of continuous functions differentiable on cocountable sets. (English) Zbl 1184.28003 Real Anal. Exch. 34(2008-2009), No. 2, 521-529 (2009). Reviewer: K. P. Hart (Delft) MSC: 28A05 03E15 26A24 54H05 PDF BibTeX XML Cite \textit{S. Głąb}, Real Anal. Exch. 34, No. 2, 521--529 (2009; Zbl 1184.28003) Full Text: DOI
Świątkowski, Jacek Fundamental pro-groups and Gromov boundaries of 7-systolic groups. (English) Zbl 1247.20049 J. Lond. Math. Soc., II. Ser. 80, No. 3, 649-664 (2009). MSC: 20F67 20F65 55P55 55Q07 57M05 20F55 53C23 PDF BibTeX XML Cite \textit{J. Świątkowski}, J. Lond. Math. Soc., II. Ser. 80, No. 3, 649--664 (2009; Zbl 1247.20049) Full Text: DOI
Simpson, Stephen G. Subsystems of second order arithmetic. 2nd ed. (English) Zbl 1181.03001 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88439-6/hbk). xvi, 444 p. (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-02 03B30 03F35 03C62 PDF BibTeX XML Cite \textit{S. G. Simpson}, Subsystems of second order arithmetic. 2nd ed. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2009; Zbl 1181.03001)
Verdée, Peter Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex. (English) Zbl 1172.03018 Synthese 167, No. 1, 93-104 (2009). MSC: 03B53 68Q17 PDF BibTeX XML Cite \textit{P. Verdée}, Synthese 167, No. 1, 93--104 (2009; Zbl 1172.03018) Full Text: DOI
Binns, Stephen \(\Pi _1^0\) classes with complex elements. (English) Zbl 1155.03032 J. Symb. Log. 73, No. 4, 1341-1353 (2008). MSC: 03D80 68Q30 PDF BibTeX XML Cite \textit{S. Binns}, J. Symb. Log. 73, No. 4, 1341--1353 (2008; Zbl 1155.03032) Full Text: DOI
Barmpalias, George; Lewis, Andrew E. M.; Stephan, Frank \(\Pi_1^0 \) classes, LR degrees and Turing degrees. (English) Zbl 1156.03040 Ann. Pure Appl. Logic 156, No. 1, 21-38 (2008). Reviewer: Cristian S. Calude (Auckland) MSC: 03D25 03D30 03D80 PDF BibTeX XML Cite \textit{G. Barmpalias} et al., Ann. Pure Appl. Logic 156, No. 1, 21--38 (2008; Zbl 1156.03040) Full Text: DOI
Ferreira, Fernando; Ferreira, Gilda Harrington’s conservation theorem redone. (English) Zbl 1160.03039 Arch. Math. Logic 47, No. 2, 91-100 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03F35 03F05 03F07 PDF BibTeX XML Cite \textit{F. Ferreira} and \textit{G. Ferreira}, Arch. Math. Logic 47, No. 2, 91--100 (2008; Zbl 1160.03039) Full Text: DOI
Mozgova, A. \(\mathbb Z_n\)-manifolds in 4-dimensional graph-manifolds. (English) Zbl 1149.57036 Topology Appl. 155, No. 15, 1635-1643 (2008). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 57N13 55P10 57R05 PDF BibTeX XML Cite \textit{A. Mozgova}, Topology Appl. 155, No. 15, 1635--1643 (2008; Zbl 1149.57036) Full Text: DOI
Vasilevska, Violeta Homology \(n\)-spheres as codimension-\((n+1)\) shape m\(_{\text{simpl}}\)-fibrators. (English) Zbl 1148.57031 Topology Appl. 155, No. 10, 1140-1148 (2008). Reviewer: David B. Gauld (Auckland) MSC: 57N15 55R65 57N25 54B15 PDF BibTeX XML Cite \textit{V. Vasilevska}, Topology Appl. 155, No. 10, 1140--1148 (2008; Zbl 1148.57031) Full Text: DOI
Głąb, Szymon Descriptive properties of families of autohomeomorphisms of the unit interval. (English) Zbl 1151.03024 J. Math. Anal. Appl. 343, No. 2, 835-841 (2008). Reviewer: Paul J. Szeptycki (Toronto) MSC: 03E15 28A05 54H05 PDF BibTeX XML Cite \textit{S. Głąb}, J. Math. Anal. Appl. 343, No. 2, 835--841 (2008; Zbl 1151.03024) Full Text: DOI
Goncharov, S. S. Isomorphisms and definable relations on computable models. (English) Zbl 1157.03012 Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 26-45 (2008). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{S. S. Goncharov}, Lect. Notes Log. 28, 26--45 (2008; Zbl 1157.03012)
Yi, Hongwei The approximation solvability of a class of nonlinear operator equations in \((\pi)_1\) space. (Chinese. English summary) Zbl 1174.47378 J. Liaoning Norm. Univ., Nat. Sci. 30, No. 2, 138-140 (2007). MSC: 47J05 47J25 PDF BibTeX XML Cite \textit{H. Yi}, J. Liaoning Norm. Univ., Nat. Sci. 30, No. 2, 138--140 (2007; Zbl 1174.47378)
Heinatsch, Christoph \(\Pi\frac12\)-comprehension and the property of Ramsey. (English) Zbl 1140.03039 Münster: Univ. Münster, Fachbereich Mathematik und Informatik (Dissertation). iv, 88 p. (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03F25 03-02 PDF BibTeX XML Cite \textit{C. Heinatsch}, \(\Pi\frac12\)-comprehension and the property of Ramsey. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (Dissertation) (2007; Zbl 1140.03039) Full Text: Link
Fischer, Hanspeter Pullbacks of generalized universal coverings. (English) Zbl 1131.55009 Algebr. Geom. Topol. 7, 1379-1388 (2007). Reviewer: Ioan Pop (Iaşi) MSC: 55R65 54B99 57M10 PDF BibTeX XML Cite \textit{H. Fischer}, Algebr. Geom. Topol. 7, 1379--1388 (2007; Zbl 1131.55009) Full Text: DOI
Katz, Gabriel Deconstructing functions on quadratic surfaces into multipoles. (English) Zbl 1209.53007 Ann. Global Anal. Geom. 32, No. 2, 167-207 (2007). MSC: 53A05 53C21 58J60 PDF BibTeX XML Cite \textit{G. Katz}, Ann. Global Anal. Geom. 32, No. 2, 167--207 (2007; Zbl 1209.53007) Full Text: DOI arXiv
Matumoto, Takao; Nishimoto, Tetsu Lusternik-Schnirelmann \(\pi_{1}\)-category of non-simply connected simple Lie groups. (English) Zbl 1144.55006 Topology Appl. 154, No. 9, 1931-1941 (2007). Reviewer: Gregory Lupton (Cleveland) MSC: 55M30 22E20 55T99 55N25 55U20 57T10 PDF BibTeX XML Cite \textit{T. Matumoto} and \textit{T. Nishimoto}, Topology Appl. 154, No. 9, 1931--1941 (2007; Zbl 1144.55006) Full Text: DOI
Skvortsov, Dmitrij On non-axiomatizability of superintuitionistic predicate logics of some classes of well-founded and dually well-founded Kripke frames. (English) Zbl 1118.03018 J. Log. Comput. 16, No. 5, 685-695 (2006). MSC: 03B55 PDF BibTeX XML Cite \textit{D. Skvortsov}, J. Log. Comput. 16, No. 5, 685--695 (2006; Zbl 1118.03018) Full Text: DOI
Vasilevska, Violeta Special manifolds and shape fibrator properties. (English) Zbl 1099.57021 Topology Appl. 153, No. 15, 2765-2781 (2006). Reviewer: R. E. Stong (Charlottesville) MSC: 57N15 55R70 55P55 PDF BibTeX XML Cite \textit{V. Vasilevska}, Topology Appl. 153, No. 15, 2765--2781 (2006; Zbl 1099.57021) Full Text: DOI
Sofronidis, Nikolaos Efstathiou The set of continuous piecewise differentiable functions. (English) Zbl 1094.03035 Real Anal. Exch. 31(2005-2006), No. 1, 13-21 (2006). MSC: 03E15 26A27 PDF BibTeX XML Cite \textit{N. E. Sofronidis}, Real Anal. Exch. 31, No. 1, 13--21 (2006; Zbl 1094.03035) Full Text: DOI
Downey, Rod; Miller, Joseph S. A basis theorem for \(\Pi_1^0\) classes of positive measure and jump inversion for random reals. (English) Zbl 1085.03032 Proc. Am. Math. Soc. 134, No. 1, 283-288 (2006). Reviewer: Cristian S. Calude (Auckland) MSC: 03D28 68Q30 PDF BibTeX XML Cite \textit{R. Downey} and \textit{J. S. Miller}, Proc. Am. Math. Soc. 134, No. 1, 283--288 (2006; Zbl 1085.03032) Full Text: DOI
Mozgova, A. Non-singular graph-manifolds of dimension 4. (English) Zbl 1085.57014 Algebr. Geom. Topol. 5, 1051-1073 (2005). Reviewer: Maria Rita Casali (Modena) MSC: 57M50 57N35 57N13 57R55 55P10 PDF BibTeX XML Cite \textit{A. Mozgova}, Algebr. Geom. Topol. 5, 1051--1073 (2005; Zbl 1085.57014) Full Text: DOI EMIS EuDML arXiv
Morozov, A.; Nies, A. Finitely generated groups and first-order logic. (English) Zbl 1091.03014 J. Lond. Math. Soc., II. Ser. 71, No. 3, 545-562 (2005). Reviewer: Oleg V. Belegradek (Istanbul) (MR2132370 (2006a:20005)) MSC: 03D35 03D40 20A15 20F10 PDF BibTeX XML Cite \textit{A. Morozov} and \textit{A. Nies}, J. Lond. Math. Soc., II. Ser. 71, No. 3, 545--562 (2005; Zbl 1091.03014) Full Text: DOI
Li, Xuhua Largest \(E\)-thin, \(E\)-invariant sets below \(\Delta_3^1\). (English) Zbl 1059.03047 Arch. Math. Logic 43, No. 5, 681-690 (2004). Reviewer: Alberto Marcone (Udine) MSC: 03E15 PDF BibTeX XML Cite \textit{X. Li}, Arch. Math. Logic 43, No. 5, 681--690 (2004; Zbl 1059.03047) Full Text: DOI
Krushkal, Vyacheslav S. Dwyer’s filtration and topology of 4-manifolds. (English) Zbl 1047.57013 Math. Res. Lett. 10, No. 2-3, 247-251 (2003). Reviewer: Alberto Cavicchioli (Modena) MSC: 57N13 57R65 PDF BibTeX XML Cite \textit{V. S. Krushkal}, Math. Res. Lett. 10, No. 2--3, 247--251 (2003; Zbl 1047.57013) Full Text: DOI arXiv
Ishii, Katsumasa A note on the first incompleteness theorem. (English) Zbl 1016.03063 Math. Log. Q. 49, No. 2, 214-216 (2003). MSC: 03F30 03F40 PDF BibTeX XML Cite \textit{K. Ishii}, Math. Log. Q. 49, No. 2, 214--216 (2003; Zbl 1016.03063) Full Text: DOI
Möllerfeld, Michael Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. (English) Zbl 1050.03040 Münster: Univ. Münster, Fachbereich Mathematik und Informatik. vi, 136 p. (2002). Reviewer: Anton Setzer (Swansea) MSC: 03F25 03F03 03D70 03D60 03-02 03F35 03E70 PDF BibTeX XML Cite \textit{M. Möllerfeld}, Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (2002; Zbl 1050.03040)
Falk, Michael J.; Proudfoot, Nicholas J. Parallel connections and bundles of arrangements. (English) Zbl 1002.52017 Topology Appl. 118, No. 1-2, 65-83 (2002). Reviewer: Günter M.Ziegler (Berlin) MSC: 52C35 55P20 55R10 PDF BibTeX XML Cite \textit{M. J. Falk} and \textit{N. J. Proudfoot}, Topology Appl. 118, No. 1--2, 65--83 (2002; Zbl 1002.52017) Full Text: DOI arXiv
Neumann, Walter D. Immersed and virtually embedded \(\pi_1\)-injective surfaces in graph manifolds. (English) Zbl 0979.57007 Algebr. Geom. Topol. 1, 411-426 (2001). Reviewer: Maria Rita Casali (Modena) MSC: 57N10 57M10 57M05 57R42 57M07 57R40 PDF BibTeX XML Cite \textit{W. D. Neumann}, Algebr. Geom. Topol. 1, 411--426 (2001; Zbl 0979.57007) Full Text: DOI EMIS EuDML arXiv
Carlson, Timothy J. Elementary patterns of resemblance. (English) Zbl 1009.03026 Ann. Pure Appl. Logic 108, No. 1-3, 19-77 (2001). Reviewer: Anton Setzer (Swansea) MSC: 03F15 03E02 03E45 03F03 PDF BibTeX XML Cite \textit{T. J. Carlson}, Ann. Pure Appl. Logic 108, No. 1--3, 19--77 (2001; Zbl 1009.03026) Full Text: DOI
Świątkowski, Jacek Estimates for homological dimension of configuration spaces of graphs. (English) Zbl 1007.55013 Colloq. Math. 89, No. 1, 69-79 (2001). Reviewer: Akira Koyama (Kashiwara, Osaka) MSC: 55R80 55M10 20J05 PDF BibTeX XML Cite \textit{J. Świątkowski}, Colloq. Math. 89, No. 1, 69--79 (2001; Zbl 1007.55013) Full Text: DOI
Bart, Anneke Surface groups in some surgered manifolds. (English) Zbl 0961.57016 Topology 40, No. 1, 197-211 (2001). Reviewer: Weiping Li (Stillwater) MSC: 57N10 57M50 57M99 57M25 57R65 57N35 PDF BibTeX XML Cite \textit{A. Bart}, Topology 40, No. 1, 197--211 (2001; Zbl 0961.57016) Full Text: DOI
Huang, Hong \(\pi_1\)-finite-index maps from 3-manifolds covered by torus bundles over \(S^1\). (English) Zbl 1025.57500 Acta Sci. Nat. Univ. Pekin. 36, No. 3, 342-346 (2000). MSC: 57M10 57M50 55M25 PDF BibTeX XML Cite \textit{H. Huang}, Acta Sci. Nat. Univ. Pekin. 36, No. 3, 342--346 (2000; Zbl 1025.57500)
Krushkal, Vyacheslav S. Exponential separation in \(4\)-manifolds. (English) Zbl 0957.57015 Geom. Topol. 4, 397-405 (2000). Reviewer: Terry Lawson (New Orleans) MSC: 57N13 57N70 57M25 57N35 PDF BibTeX XML Cite \textit{V. S. Krushkal}, Geom. Topol. 4, 397--405 (2000; Zbl 0957.57015) Full Text: DOI EMIS EuDML arXiv
Junge, Marius Embeddings of non-commutative \(L_p\)-spaces into non-commutative \(L_1\)-spaces, \(1<p<2\). (English) Zbl 0958.46033 Geom. Funct. Anal. 10, No. 2, 389-406 (2000). Reviewer: Fedor Sukochev (Adelaide) MSC: 46L52 46B09 PDF BibTeX XML Cite \textit{M. Junge}, Geom. Funct. Anal. 10, No. 2, 389--406 (2000; Zbl 0958.46033) Full Text: DOI
Wenger, Thomas Massey products in Deligne-cohomology. (English) Zbl 0967.55014 Münster: Univ. Münster, Fachbereich Mathematik und Informatik, 77 p. (2000). MSC: 55S20 14F43 55N35 14F42 PDF BibTeX XML Cite \textit{T. Wenger}, Massey products in Deligne-cohomology. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (2000; Zbl 0967.55014)
Paterson, J. M. The classification of 3-manifolds with 4-plane, quasi-finite immersed surfaces. (English) Zbl 0933.57015 Topology 39, No. 2, 353-381 (2000). Reviewer: A.Papadopoulos (Strasbourg) MSC: 57N10 57N35 PDF BibTeX XML Cite \textit{J. M. Paterson}, Topology 39, No. 2, 353--381 (2000; Zbl 0933.57015) Full Text: DOI
Huang, Chengbang A method to decide whether the degree of a map between Seifert manifolds is nonzero. (Chinese. English summary) Zbl 1025.57502 Acta Sci. Nat. Univ. Pekin. 35, No. 5, 577-588 (1999). MSC: 57N10 55M25 PDF BibTeX XML Cite \textit{C. Huang}, Acta Sci. Nat. Univ. Pekin. 35, No. 5, 577--588 (1999; Zbl 1025.57502)
Goryunov, V. V.; Lando, S. K. On enumeration of meromorphic functions on the line. (English) Zbl 0972.32021 Bierstone, Edward (ed.) et al., The Arnoldfest. Proceedings of a conference in honour of V. I. Arnold for his 60th birthday, Toronto, Canada, June 15-21, 1997. Providence, RI: American Mathematical Society. Fields Inst. Commun. 24, 209-223 (1999). Reviewer: Tobias Ekholm (Uppsala) MSC: 32S50 20E36 05C30 14E20 PDF BibTeX XML Cite \textit{V. V. Goryunov} and \textit{S. K. Lando}, Fields Inst. Commun. 24, 209--223 (1999; Zbl 0972.32021)
Friedman, Sy D. David’s trick. (English) Zbl 0939.03052 Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 67-71 (1999). MSC: 03E45 PDF BibTeX XML Cite \textit{S. D. Friedman}, Lond. Math. Soc. Lect. Note Ser. 258, 67--71 (1999; Zbl 0939.03052) Full Text: arXiv
Rathjen, Michael Explicit mathematics with the monotone fixed point principle II: Models. (English) Zbl 0930.03093 J. Symb. Log. 64, No. 2, 517-550 (1999). Reviewer: B.Boričić (Beograd) MSC: 03F50 03F35 03F65 PDF BibTeX XML Cite \textit{M. Rathjen}, J. Symb. Log. 64, No. 2, 517--550 (1999; Zbl 0930.03093) Full Text: DOI
Simpson, Stephen G. Subsystems of second order arithmetic. (English) Zbl 0909.03048 Perspectives in Mathematical Logic. Berlin: Springer. xiv, 444 p. (1999). Reviewer: R.Murawski (Poznań) MSC: 03F35 03-02 03C62 PDF BibTeX XML Cite \textit{S. G. Simpson}, Subsystems of second order arithmetic. Berlin: Springer (1999; Zbl 0909.03048)
Wehmeier, Kai F. Constructing Kripke models of certain fragments of Heyting’s arithmetic. (English) Zbl 0946.03070 Publ. Inst. Math., Nouv. Sér. 63(77), 1-8 (1998). Reviewer: Branislav Boričić (Novi Beograd) MSC: 03F30 03F50 03C62 03C90 PDF BibTeX XML Cite \textit{K. F. Wehmeier}, Publ. Inst. Math., Nouv. Sér. 63(77), 1--8 (1998; Zbl 0946.03070) Full Text: EuDML
Cenzer, Douglas; Remmel, Jeffrey Index sets for \(\Pi^0_1\) classes. (English) Zbl 0926.03042 Ann. Pure Appl. Logic 93, No. 1-3, 3-61 (1998). Reviewer: Leon Harkleroad (Poughkeepsie) MSC: 03D25 03D55 03D80 PDF BibTeX XML Cite \textit{D. Cenzer} and \textit{J. Remmel}, Ann. Pure Appl. Logic 93, No. 1--3, 3--61 (1998; Zbl 0926.03042) Full Text: DOI
Abe, Yoshihiro Combinatorial characterization of \(\Pi_1^1\)-indescribability in \(P_\kappa\lambda\). (English) Zbl 0907.03022 Arch. Math. Logic 37, No. 4, 261-272 (1998). Reviewer: M.Weese (Potsdam) MSC: 03E05 03E55 PDF BibTeX XML Cite \textit{Y. Abe}, Arch. Math. Logic 37, No. 4, 261--272 (1998; Zbl 0907.03022) Full Text: DOI
Teruya, Tamotsu Normal intermediate subfactors. (English) Zbl 0904.46044 J. Math. Soc. Japan 50, No. 2, 469-490 (1998). Reviewer: T.Teruya (Hokkaido) MSC: 46L37 46L55 PDF BibTeX XML Cite \textit{T. Teruya}, J. Math. Soc. Japan 50, No. 2, 469--490 (1998; Zbl 0904.46044) Full Text: DOI
Lin, Guihua Notes on approximation properties. (Chinese. English summary) Zbl 0918.46017 J. Dalian Univ. Technol. 37, No. 1, 8-10 (1997). MSC: 46B22 46B45 46B20 PDF BibTeX XML Cite \textit{G. Lin}, J. Dalian Univ. Technol. 37, No. 1, 8--10 (1997; Zbl 0918.46017)