Ciesielski, Krzysztof Chris; Natkaniec, Tomasz; Rodríguez-Vidanes, Daniel L. Almost continuous Sierpiński-Zygmund functions under different set-theoretical assumptions. (English) Zbl 07647285 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 117, No. 1, Paper No. 19, 15 p. (2023). MSC: 26A15 03E35 28A05 54A25 15A03 PDF BibTeX XML Cite \textit{K. C. Ciesielski} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 117, No. 1, Paper No. 19, 15 p. (2023; Zbl 07647285) Full Text: DOI OpenURL
Potgieter, Petrus H. Computability of sets in Euclidean space. (English) Zbl 07644700 PU.M.A., Pure Math. Appl. 30, No. 3, 65-77 (2022). MSC: 03D80 03D78 PDF BibTeX XML Cite \textit{P. H. Potgieter}, PU.M.A., Pure Math. Appl. 30, No. 3, 65--77 (2022; Zbl 07644700) Full Text: DOI OpenURL
Miller, Russell G. Effectivizing Lusin’s theorem. (English) Zbl 07639629 J. Log. Anal. 14, Paper No. 3, 32 p. (2022). MSC: 03D80 03D78 03F60 03E15 26A21 26A15 PDF BibTeX XML Cite \textit{R. G. Miller}, J. Log. Anal. 14, Paper No. 3, 32 p. (2022; Zbl 07639629) Full Text: DOI arXiv OpenURL
Bergfalk, Jeffrey; Fischer, Vera; Switzer, Corey Bacal Projective well orders and coanalytic witnesses. (English) Zbl 07538234 Ann. Pure Appl. Logic 173, No. 8, Article ID 103135, 19 p. (2022). MSC: 03E17 03E35 03E50 PDF BibTeX XML Cite \textit{J. Bergfalk} et al., Ann. Pure Appl. Logic 173, No. 8, Article ID 103135, 19 p. (2022; Zbl 07538234) Full Text: DOI arXiv OpenURL
Kihara, Takayuki; Pauly, Arno Point degree spectra of represented spaces. (English) Zbl 07537759 Forum Math. Sigma 10, Paper No. e31, 27 p. (2022). MSC: 03D30 54H05 03D78 54F45 46J10 PDF BibTeX XML Cite \textit{T. Kihara} and \textit{A. Pauly}, Forum Math. Sigma 10, Paper No. e31, 27 p. (2022; Zbl 07537759) Full Text: DOI arXiv OpenURL
Hoyrup, Mathieu The fixed-point property for represented spaces. (English) Zbl 07501984 Ann. Pure Appl. Logic 173, No. 5, Article ID 103090, 29 p. (2022). Reviewer: Daniel Graça (Faro) MSC: 03D78 03E15 54H05 54H25 03F60 PDF BibTeX XML Cite \textit{M. Hoyrup}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103090, 29 p. (2022; Zbl 07501984) Full Text: DOI Link OpenURL
Matsubara, Yo; Usuba, Toshimichi On countable stationary towers. (English) Zbl 07615252 Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 133-141 (2021). MSC: 03Bxx 03Exx 03Fxx PDF BibTeX XML Cite \textit{Y. Matsubara} and \textit{T. Usuba}, Springer Proc. Math. Stat. 369, 133--141 (2021; Zbl 07615252) Full Text: DOI arXiv OpenURL
Aguilera, J. P.; Welch, P. D. \(G_{\delta \sigma }\) games and induction on reals. (English) Zbl 07457795 J. Symb. Log. 86, No. 4, 1676-1690 (2021). MSC: 03B30 03D60 03D70 03E60 91A44 PDF BibTeX XML Cite \textit{J. P. Aguilera} and \textit{P. D. Welch}, J. Symb. Log. 86, No. 4, 1676--1690 (2021; Zbl 07457795) Full Text: DOI OpenURL
Goh, Jun Le; Pauly, Arno; Valenti, Manlio Finding descending sequences through ill-founded linear orders. (English) Zbl 07415227 J. Symb. Log. 86, No. 2, 817-854 (2021). MSC: 03D30 03D78 06A75 PDF BibTeX XML Cite \textit{J. Le Goh} et al., J. Symb. Log. 86, No. 2, 817--854 (2021; Zbl 07415227) Full Text: DOI arXiv OpenURL
Tall, Franklin D.; Todorcevic, Stevo; Tokgöz, Seçil The strength of Menger’s conjecture. (English) Zbl 07401521 Topology Appl. 301, Article ID 107536, 7 p. (2021). MSC: 03E15 03E35 03E60 54A35 54D20 54H05 03E45 PDF BibTeX XML Cite \textit{F. D. Tall} et al., Topology Appl. 301, Article ID 107536, 7 p. (2021; Zbl 07401521) Full Text: DOI arXiv OpenURL
Marcone, Alberto; Valenti, Manlio The open and clopen Ramsey theorems in the Weihrauch lattice. (English) Zbl 07370822 J. Symb. Log. 86, No. 1, 316-351 (2021). MSC: 03D78 03D30 03B30 05C55 PDF BibTeX XML Cite \textit{A. Marcone} and \textit{M. Valenti}, J. Symb. Log. 86, No. 1, 316--351 (2021; Zbl 07370822) Full Text: DOI arXiv OpenURL
Scarpellini, Bruno Recursively enumerable sets and Fourier series. (English) Zbl 1496.03176 de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 217-229 (2020). MSC: 03D78 03D25 42A38 PDF BibTeX XML Cite \textit{B. Scarpellini}, Acad. Bras. Filos. 2, 217--229 (2020; Zbl 1496.03176) OpenURL
Yu, Liang An application of recursion theory to analysis. (English) Zbl 1477.03173 Bull. Symb. Log. 26, No. 1, 15-25 (2020). MSC: 03D78 03D30 03D32 03D80 03E15 28A05 54H05 PDF BibTeX XML Cite \textit{L. Yu}, Bull. Symb. Log. 26, No. 1, 15--25 (2020; Zbl 1477.03173) Full Text: DOI OpenURL
Bianchetti, Matteo Weaker variants of infinite time Turing machines. (English) Zbl 1455.03049 Arch. Math. Logic 59, No. 3-4, 335-365 (2020). Reviewer: Roman Murawski (Poznań) MSC: 03D10 03D60 03D78 68Q01 PDF BibTeX XML Cite \textit{M. Bianchetti}, Arch. Math. Logic 59, No. 3--4, 335--365 (2020; Zbl 1455.03049) Full Text: DOI OpenURL
Kihara, Takayuki On a metric generalization of the \(tt\)-degrees and effective dimension theory. (English) Zbl 1455.03055 J. Symb. Log. 84, No. 2, 726-749 (2019). Reviewer: Jordan Mitchell Barrett (Wellington) MSC: 03D30 03C62 03D78 54H05 PDF BibTeX XML Cite \textit{T. Kihara}, J. Symb. Log. 84, No. 2, 726--749 (2019; Zbl 1455.03055) Full Text: DOI arXiv OpenURL
Andrews, Uri; Igusa, Gregory; Miller, Joseph S.; Soskova, Mariya I. Characterizing the continuous degrees. (English) Zbl 1442.03023 Isr. J. Math. 234, No. 2, 743-767 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03D35 03D25 03D78 PDF BibTeX XML Cite \textit{U. Andrews} et al., Isr. J. Math. 234, No. 2, 743--767 (2019; Zbl 1442.03023) Full Text: DOI OpenURL
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno Connected choice and the Brouwer fixed point theorem. (English) Zbl 1484.03130 J. Math. Log. 19, No. 1, Article ID 1950004, 46 p. (2019). MSC: 03F60 03D30 03D78 03B30 PDF BibTeX XML Cite \textit{V. Brattka} et al., J. Math. Log. 19, No. 1, Article ID 1950004, 46 p. (2019; Zbl 1484.03130) Full Text: DOI arXiv OpenURL
Paula, Gisele Teixeira Comparison of volumes of Siegel sets and fundamental domains for \(\mathrm {SL}_n ({\mathbb {Z}})\). (English) Zbl 1441.20031 Geom. Dedicata 199, 291-306 (2019). Reviewer: Sangjib Kim (Seoul) MSC: 20G20 20G30 51N30 14L35 PDF BibTeX XML Cite \textit{G. T. Paula}, Geom. Dedicata 199, 291--306 (2019; Zbl 1441.20031) Full Text: DOI arXiv OpenURL
Rosłanowski, Andrzej; Shelah, Saharon Small-large subgroups of the reals. (English) Zbl 1441.03039 Math. Slovaca 68, No. 3, 473-484 (2018). MSC: 03E35 03E15 28A05 54A05 PDF BibTeX XML Cite \textit{A. Rosłanowski} and \textit{S. Shelah}, Math. Slovaca 68, No. 3, 473--484 (2018; Zbl 1441.03039) Full Text: DOI arXiv OpenURL
de Brecht, Matthew; Pauly, Arno Noetherian quasi-Polish spaces. (English) Zbl 1434.03120 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017). MSC: 03E15 03F60 03D78 54D30 54H05 PDF BibTeX XML Cite \textit{M. de Brecht} and \textit{A. Pauly}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017; Zbl 1434.03120) Full Text: DOI arXiv OpenURL
Kreinovich, Vladik Why some physicists are excited about the undecidability of the spectral gap problem and why should we. (English) Zbl 1416.81017 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 122, 100-113 (2017). MSC: 81P10 03D35 03D78 PDF BibTeX XML Cite \textit{V. Kreinovich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 122, 100--113 (2017; Zbl 1416.81017) Full Text: Link OpenURL
Wallach, Nolan R. On Neeman’s gradient flows. (English) Zbl 1388.14158 Barron, Katrina (ed.) et al., Lie algebras, vertex operator algebras, and related topics. Conference in honor of J. Lepowsky and R. Wilson on the occasion ot their 70th birthdays, University of Notre Dame, Notre Dame, IN, USA, August 14–18, 2015. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2666-8/pbk; 978-1-4704-4196-8/ebook). Contemporary Mathematics 695, 261-274 (2017). MSC: 14P05 14P25 20G20 PDF BibTeX XML Cite \textit{N. R. Wallach}, Contemp. Math. 695, 261--274 (2017; Zbl 1388.14158) Full Text: DOI arXiv OpenURL
Ghosh, Amitava Monotonicity of strata in the stratification of the cone of totally positive matrices. (English) Zbl 1402.20059 Indian J. Pure Appl. Math. 48, No. 2, 245-257 (2017). MSC: 20G20 05E15 14L35 14P10 20F55 PDF BibTeX XML Cite \textit{A. Ghosh}, Indian J. Pure Appl. Math. 48, No. 2, 245--257 (2017; Zbl 1402.20059) Full Text: DOI OpenURL
Selivanov, Victor Towards a descriptive theory of cb\(_{0}\)-spaces. (English) Zbl 1456.03077 Math. Struct. Comput. Sci. 27, No. 8, 1553-1580 (2017). MSC: 03E15 03F60 54H05 03D55 03D78 PDF BibTeX XML Cite \textit{V. Selivanov}, Math. Struct. Comput. Sci. 27, No. 8, 1553--1580 (2017; Zbl 1456.03077) Full Text: DOI arXiv OpenURL
Porter, Michelle; Day, Adam; Downey, Rodney Notes on computable analysis. (English) Zbl 1420.03114 Theory Comput. Syst. 60, No. 1, 53-111 (2017). MSC: 03D78 26A03 PDF BibTeX XML Cite \textit{M. Porter} et al., Theory Comput. Syst. 60, No. 1, 53--111 (2017; Zbl 1420.03114) Full Text: DOI OpenURL
Tall, Franklin D.; Tokgöz, Seçil On the definability of Menger spaces which are not \(\sigma\)-compact. (English) Zbl 1423.54052 Topology Appl. 220, 111-117 (2017). MSC: 54D20 03E15 03E35 03E60 54A25 54H05 03E45 54D40 PDF BibTeX XML Cite \textit{F. D. Tall} and \textit{S. Tokgöz}, Topology Appl. 220, 111--117 (2017; Zbl 1423.54052) Full Text: DOI arXiv OpenURL
Weihrauch, Klaus Computability on measurable functions. (English) Zbl 1420.03115 Computability 6, No. 1, 79-104 (2017). MSC: 03D78 28A05 28C15 PDF BibTeX XML Cite \textit{K. Weihrauch}, Computability 6, No. 1, 79--104 (2017; Zbl 1420.03115) Full Text: DOI OpenURL
Yun, Aaram Discrete subgroups of the special linear group with thin limit sets. (English) Zbl 1348.22015 Trans. Am. Math. Soc. 369, No. 1, 365-407 (2017). Reviewer: Thilo Kuessner (Seoul) MSC: 22E40 20G20 PDF BibTeX XML Cite \textit{A. Yun}, Trans. Am. Math. Soc. 369, No. 1, 365--407 (2017; Zbl 1348.22015) Full Text: DOI OpenURL
Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr Quasi-decidability of a fragment of the first-order theory of real numbers. (English) Zbl 1437.03047 J. Autom. Reasoning 57, No. 2, 157-185 (2016). MSC: 03B25 03B35 03D78 PDF BibTeX XML Cite \textit{P. Franek} et al., J. Autom. Reasoning 57, No. 2, 157--185 (2016; Zbl 1437.03047) Full Text: DOI arXiv OpenURL
Berger, Ulrich; Spreen, Dieter A coinductive approach to computing with compact sets. (English) Zbl 1396.03085 J. Log. Anal. 8, Paper No. 3, 35 p. (2016). MSC: 03D78 03B35 03B70 68T15 PDF BibTeX XML Cite \textit{U. Berger} and \textit{D. Spreen}, J. Log. Anal. 8, Paper No. 3, 35 p. (2016; Zbl 1396.03085) Full Text: DOI arXiv OpenURL
Buser, Peter; Scarpellini, Bruno Undecidability through Fourier series. (English) Zbl 1403.03064 Ann. Pure Appl. Logic 167, No. 7, 507-524 (2016). MSC: 03D25 03D35 03D78 03D80 42B05 11Y55 33E05 PDF BibTeX XML Cite \textit{P. Buser} and \textit{B. Scarpellini}, Ann. Pure Appl. Logic 167, No. 7, 507--524 (2016; Zbl 1403.03064) Full Text: DOI OpenURL
Alonso-Sanz, Rámon On quaternion maps with memory. (English) Zbl 1362.37088 Complex Syst. 24, No. 3, 223-233 (2015). MSC: 37F10 20G20 PDF BibTeX XML Cite \textit{R. Alonso-Sanz}, Complex Syst. 24, No. 3, 223--233 (2015; Zbl 1362.37088) OpenURL
Pauly, Arno Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract). (English) Zbl 1465.03080 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 407-418 (2015). MSC: 03D60 03D78 03E15 54H05 PDF BibTeX XML Cite \textit{A. Pauly}, Lect. Notes Comput. Sci. 9234, 407--418 (2015; Zbl 1465.03080) Full Text: DOI arXiv Link OpenURL
Dikranjan, Dikran; Impieri, Daniele On Hewitt groups and finer locally compact group topologies. (English) Zbl 1347.22002 Topology Appl. 192, 84-97 (2015). Reviewer: Saak S. Gabriyelyan (Beer-Sheva) MSC: 22A05 54H05 22B05 PDF BibTeX XML Cite \textit{D. Dikranjan} and \textit{D. Impieri}, Topology Appl. 192, 84--97 (2015; Zbl 1347.22002) Full Text: DOI OpenURL
Keremedis, Kyriakos On sequentially closed subsets of the real line in ZF. (English) Zbl 1341.03013 Math. Log. Q. 61, No. 1-2, 24-31 (2015). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03B25 54D55 54E35 PDF BibTeX XML Cite \textit{K. Keremedis}, Math. Log. Q. 61, No. 1--2, 24--31 (2015; Zbl 1341.03013) Full Text: DOI OpenURL
Xie, Bo; Fu, Ming Quan; Zucker, Jeffery Characterizations of semicomputable sets of real numbers. (English) Zbl 1307.68028 J. Log. Algebr. Methods Program. 84, No. 1, 124-154 (2015). MSC: 68N30 68N15 68Q05 03D78 08A70 68Q65 PDF BibTeX XML Cite \textit{B. Xie} et al., J. Log. Algebr. Methods Program. 84, No. 1, 124--154 (2015; Zbl 1307.68028) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. S. Morozov}, Algebra Logic 53, No. 3, 217--237 (2014; Zbl 1323.03047); translation from Algebra Logika 53, No. 3, 340--371 (2014) Full Text: DOI OpenURL
Kuyper, Rutger; Terwijn, Sebastiaan Effective genericity and differentiability. (English) Zbl 1345.03085 J. Log. Anal. 6, Paper No. 4, 14 p. (2014). MSC: 03D78 03D32 26A21 26A24 PDF BibTeX XML Cite \textit{R. Kuyper} and \textit{S. Terwijn}, J. Log. Anal. 6, Paper No. 4, 14 p. (2014; Zbl 1345.03085) Full Text: DOI arXiv OpenURL
Can, Mahir Bilen; Cherniavsky, Yonah; Twelbeck, Tim Bruhat order on partial fixed point free involutions. (English) Zbl 1320.06002 Electron. J. Comb. 21, No. 4, Research Paper P4.34, 23 p. (2014). MSC: 06A11 06A07 05E15 14L35 15A30 20G20 PDF BibTeX XML Cite \textit{M. B. Can} et al., Electron. J. Comb. 21, No. 4, Research Paper P4.34, 23 p. (2014; Zbl 1320.06002) Full Text: arXiv Link OpenURL
Eick, Bettina Approximating generators for integral arithmetic groups. (English) Zbl 1325.20041 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 83-86 (2014). MSC: 20G20 20F05 68W30 20-04 PDF BibTeX XML Cite \textit{B. Eick}, Lect. Notes Comput. Sci. 8592, 83--86 (2014; Zbl 1325.20041) Full Text: DOI OpenURL
Weihrauch, Klaus; Tavana-Roshandel, Nazanin Representations of measurable sets in computable measure theory. (English) Zbl 1337.03068 Log. Methods Comput. Sci. 10, No. 3, Paper No. 7, 21 p. (2014). MSC: 03D78 28A05 PDF BibTeX XML Cite \textit{K. Weihrauch} and \textit{N. Tavana-Roshandel}, Log. Methods Comput. Sci. 10, No. 3, Paper No. 7, 21 p. (2014; Zbl 1337.03068) Full Text: DOI arXiv OpenURL
Hersh, Patricia Regular cell complexes in total positivity. (English) Zbl 1339.20041 Invent. Math. 197, No. 1, 57-114 (2014). MSC: 20G20 20F55 05E15 06A07 PDF BibTeX XML Cite \textit{P. Hersh}, Invent. Math. 197, No. 1, 57--114 (2014; Zbl 1339.20041) Full Text: DOI arXiv OpenURL
Rin, Benjamin The computational strengths of \(\alpha\)-tape infinite time Turing machines. (English) Zbl 1352.03046 Ann. Pure Appl. Logic 165, No. 9, 1501-1511 (2014). MSC: 03D10 03D60 03D78 68Q05 PDF BibTeX XML Cite \textit{B. Rin}, Ann. Pure Appl. Logic 165, No. 9, 1501--1511 (2014; Zbl 1352.03046) Full Text: DOI OpenURL
Pilkington, Annette On the weak order of orthogonal groups. (English) Zbl 1297.20041 Commun. Algebra 42, No. 5, 1965-1993 (2014). Reviewer: Erich W. Ellers (Toronto) MSC: 20F55 06A07 06B23 17B22 20G20 20L05 PDF BibTeX XML Cite \textit{A. Pilkington}, Commun. Algebra 42, No. 5, 1965--1993 (2014; Zbl 1297.20041) Full Text: DOI arXiv OpenURL
Lisica, Ju. T. Skand theory and its applications (a new look at non-well-founded sets). (English) Zbl 1353.03064 Mat. Bilt. 37, No. 2, 5-82 (2013). MSC: 03E70 54G99 PDF BibTeX XML Cite \textit{Ju. T. Lisica}, Mat. Bilt. 37, No. 2, 5--82 (2013; Zbl 1353.03064) Full Text: arXiv OpenURL
Kurilić, Miloš S. Maximal chains of copies of the rational line. (English) Zbl 1282.06001 Order 30, No. 3, 737-748 (2013). MSC: 06A05 06A06 54D30 PDF BibTeX XML Cite \textit{M. S. Kurilić}, Order 30, No. 3, 737--748 (2013; Zbl 1282.06001) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Stukachev}, Lect. Notes Comput. Sci. 7921, 393--402 (2013; Zbl 1433.03119) Full Text: DOI OpenURL
Mateus, Paulo The problem of termination of programs. (Portuguese. English summary) Zbl 1377.68085 Bol. Soc. Port. Mat. 67, 155-163 (2012). MSC: 68Q05 03D10 03D35 03D78 68N30 PDF BibTeX XML Cite \textit{P. Mateus}, Bol. Soc. Port. Mat. 67, 155--163 (2012; Zbl 1377.68085) Full Text: Link OpenURL
Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M. \(\delta\)-decidability over the reals. (English) Zbl 1364.03065 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 305-314 (2012). MSC: 03D78 03B25 03D15 PDF BibTeX XML Cite \textit{S. Gao} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 305--314 (2012; Zbl 1364.03065) Full Text: DOI arXiv OpenURL
Graça, Daniel S.; Zhong, Ning; Buescu, Jorge Computability, noncomputability, and hyperbolic systems. (English) Zbl 1310.37015 Appl. Math. Comput. 219, No. 6, 3039-3054 (2012). MSC: 37D05 37D45 03D78 03D80 PDF BibTeX XML Cite \textit{D. S. Graça} et al., Appl. Math. Comput. 219, No. 6, 3039--3054 (2012; Zbl 1310.37015) Full Text: DOI arXiv OpenURL
Kihara, Takayuki Incomputability of simply connected planar continua. (English) Zbl 1277.03044 Computability 1, No. 2, 131-152 (2012). Reviewer: Daniel Graça (Faro) MSC: 03D78 PDF BibTeX XML Cite \textit{T. Kihara}, Computability 1, No. 2, 131--152 (2012; Zbl 1277.03044) Full Text: DOI arXiv OpenURL
Salehi Golsefidy, Alireza; Varjú, Péter P. Expansion in perfect groups. (English) Zbl 1284.20044 Geom. Funct. Anal. 22, No. 6, 1832-1891 (2012). MSC: 20F65 20F05 20G20 05C25 11N36 PDF BibTeX XML Cite \textit{A. Salehi Golsefidy} and \textit{P. P. Varjú}, Geom. Funct. Anal. 22, No. 6, 1832--1891 (2012; Zbl 1284.20044) Full Text: DOI arXiv OpenURL
Kunen, Kenneth Forcing and differentiable functions. (English) Zbl 1250.03099 Order 29, No. 2, 293-310 (2012). MSC: 03E35 03E50 PDF BibTeX XML Cite \textit{K. Kunen}, Order 29, No. 2, 293--310 (2012; Zbl 1250.03099) Full Text: DOI arXiv OpenURL
Brodhead, Paul; Cenzer, Douglas; Toska, Ferit; Wyman, Sebastian Algorithmic randomness and capacity of closed sets. (English) Zbl 1237.03026 Log. Methods Comput. Sci. 7, No. 3, Paper No. 16, 16 p. (2011). MSC: 03D32 03D45 03D78 PDF BibTeX XML Cite \textit{P. Brodhead} et al., Log. Methods Comput. Sci. 7, No. 3, Paper No. 16, 16 p. (2011; Zbl 1237.03026) Full Text: DOI arXiv OpenURL
Cherniavsky, Yonah On involutions of the symmetric group and congruence \(B\)-orbits of anti-symmetric matrices. (English) Zbl 1320.06001 Int. J. Algebra Comput. 21, No. 5, 841-856 (2011). MSC: 06A07 05E15 15A30 20G20 20B30 PDF BibTeX XML Cite \textit{Y. Cherniavsky}, Int. J. Algebra Comput. 21, No. 5, 841--856 (2011; Zbl 1320.06001) Full Text: DOI arXiv OpenURL
Soukup, Lajos Pcf theory and cardinal invariants of the reals. (English) Zbl 1240.03021 Commentat. Math. Univ. Carol. 52, No. 1, 153-162 (2011). Reviewer: Petr Simon (Praha) MSC: 03E04 03E17 03E35 PDF BibTeX XML Cite \textit{L. Soukup}, Commentat. Math. Univ. Carol. 52, No. 1, 153--162 (2011; Zbl 1240.03021) Full Text: arXiv EuDML EMIS OpenURL
Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr Satisfiability of systems of equations of real analytic functions is quasi-decidable. (English) Zbl 1343.03036 Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 315-326 (2011). MSC: 03D78 03B25 14P15 26E05 PDF BibTeX XML Cite \textit{P. Franek} et al., Lect. Notes Comput. Sci. 6907, 315--326 (2011; Zbl 1343.03036) Full Text: DOI OpenURL
Welch, P. D. Determinacy in strong cardinal models. (English) Zbl 1221.03055 J. Symb. Log. 76, No. 2, 719-728 (2011). MSC: 03E60 03E15 03E45 PDF BibTeX XML Cite \textit{P. D. Welch}, J. Symb. Log. 76, No. 2, 719--728 (2011; Zbl 1221.03055) Full Text: DOI Link OpenURL
Eliaš, Peter Dirichlet sets, Erdős-Kunen-Mauldin theorem, and analytic subgroups of the reals. (English) Zbl 1222.28002 Proc. Am. Math. Soc. 139, No. 6, 2093-2104 (2011). Reviewer: Hans Weber (Udine) MSC: 28A05 54H05 54H11 PDF BibTeX XML Cite \textit{P. Eliaš}, Proc. Am. Math. Soc. 139, No. 6, 2093--2104 (2011; Zbl 1222.28002) Full Text: DOI OpenURL
Miller, Arnold W. A Dedekind finite Borel set. (English) Zbl 1225.03061 Arch. Math. Logic 50, No. 1-2, 1-17 (2011). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E25 03E15 PDF BibTeX XML Cite \textit{A. W. Miller}, Arch. Math. Logic 50, No. 1--2, 1--17 (2011; Zbl 1225.03061) Full Text: DOI arXiv OpenURL
Yorioka, Teruyuki A non-implication between fragments of Martin’s axiom related to a property which comes from Aronszajn trees. (English) Zbl 1225.03064 Ann. Pure Appl. Logic 161, No. 4, 469-487 (2010); correction ibid. 162, No. 9, 752-754 (2011). MSC: 03E35 03E50 PDF BibTeX XML Cite \textit{T. Yorioka}, Ann. Pure Appl. Logic 161, No. 4, 469--487 (2010; Zbl 1225.03064) Full Text: DOI Link OpenURL
Miller, Arnold W.; Tsaban, Boaz Point-cofinite covers in the Laver model. (English) Zbl 1200.03038 Proc. Am. Math. Soc. 138, No. 9, 3313-3321 (2010). MSC: 03E35 03E17 26A03 PDF BibTeX XML Cite \textit{A. W. Miller} and \textit{B. Tsaban}, Proc. Am. Math. Soc. 138, No. 9, 3313--3321 (2010; Zbl 1200.03038) Full Text: DOI arXiv OpenURL
Hardin, Christopher S.; Taylor, Alan D. Minimal predictors in hat problems. (English) Zbl 1196.03056 Fundam. Math. 208, No. 3, 273-285 (2010). MSC: 03E05 03E17 03E50 91A44 91A46 PDF BibTeX XML Cite \textit{C. S. Hardin} and \textit{A. D. Taylor}, Fundam. Math. 208, No. 3, 273--285 (2010; Zbl 1196.03056) Full Text: DOI OpenURL
Rietsch, Konstanze; Williams, Lauren Discrete Morse theory for totally non-negative flag varieties. (English) Zbl 1206.57044 Adv. Math. 223, No. 6, 1855-1884 (2010). Reviewer: Jason Hanson (Redmond) MSC: 57T99 05E99 20G20 14P10 14N15 14M17 PDF BibTeX XML Cite \textit{K. Rietsch} and \textit{L. Williams}, Adv. Math. 223, No. 6, 1855--1884 (2010; Zbl 1206.57044) Full Text: DOI arXiv OpenURL
de Graaf, Willem A.; Pavan, Andrea Constructing arithmetic subgroups of unipotent groups. (English) Zbl 1229.20044 J. Algebra 322, No. 11, 3950-3970 (2009). Reviewer: Manuel Avelino Insua Hermo (Noia) MSC: 20G20 20F05 11Y16 17-04 17B45 22E40 PDF BibTeX XML Cite \textit{W. A. de Graaf} and \textit{A. Pavan}, J. Algebra 322, No. 11, 3950--3970 (2009; Zbl 1229.20044) Full Text: DOI arXiv OpenURL
Costa, José Félix; Loff, Bruno; Mycka, Jerzy A foundation for real recursive function theory. (English) Zbl 1189.03047 Ann. Pure Appl. Logic 160, No. 3, 255-288 (2009). Reviewer: Timothy McNicholl (Beaumont) MSC: 03D78 28A05 68Q05 PDF BibTeX XML Cite \textit{J. F. Costa} et al., Ann. Pure Appl. Logic 160, No. 3, 255--288 (2009; Zbl 1189.03047) Full Text: DOI Link OpenURL
Asperó, David Forcing notions in inner models. (English) Zbl 1178.03062 Arch. Math. Logic 48, No. 7, 643-651 (2009). MSC: 03E05 03E40 03E47 03E55 PDF BibTeX XML Cite \textit{D. Asperó}, Arch. Math. Logic 48, No. 7, 643--651 (2009; Zbl 1178.03062) Full Text: DOI OpenURL
Gabrielov, Andrei; Vorobjov, Nicolai Approximation of definable sets by compact families, and upper bounds on homotopy and homology. (English) Zbl 1177.14097 J. Lond. Math. Soc., II. Ser. 80, No. 1, 35-54 (2009). Reviewer: Immanuel Halupczok (Münster) MSC: 14P25 14P15 03C64 PDF BibTeX XML Cite \textit{A. Gabrielov} and \textit{N. Vorobjov}, J. Lond. Math. Soc., II. Ser. 80, No. 1, 35--54 (2009; Zbl 1177.14097) Full Text: DOI arXiv OpenURL
Braverman, Mark; Yampolsky, Michael Computability of Julia sets. (English) Zbl 1314.37033 Algorithms and Computation in Mathematics 23. Berlin: Springer (ISBN 978-3-540-68546-3/hbk; 978-3-642-08806-3/pbk; 978-3-540-68547-0/ebook). xiii, 151 p. (2009). MSC: 37F50 37-02 03D15 03D78 30D05 37F10 65E05 PDF BibTeX XML Cite \textit{M. Braverman} and \textit{M. Yampolsky}, Computability of Julia sets. Berlin: Springer (2009; Zbl 1314.37033) Full Text: DOI arXiv OpenURL
Morozov, Andrei; Korovina, Margarita Remarks on \(\Sigma\)-definability without the equality test over the reals. (English) Zbl 1262.03089 Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 305-313 (2008). MSC: 03D78 03D45 PDF BibTeX XML Cite \textit{A. Morozov} and \textit{M. Korovina}, Electron. Notes Theor. Comput. Sci. 202, 305--313 (2008; Zbl 1262.03089) Full Text: DOI OpenURL
Ko, Ker-I; Yu, Fuxiang On the complexity of convex hulls of subsets of the two-dimensional plane. (English) Zbl 1262.03083 Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 121-135 (2008). MSC: 03D78 03D15 52A05 68Q15 68Q17 PDF BibTeX XML Cite \textit{K.-I Ko} and \textit{F. Yu}, Electron. Notes Theor. Comput. Sci. 202, 121--135 (2008; Zbl 1262.03083) Full Text: DOI OpenURL
Le Roux, Stéphane; Ziegler, Martin Singular coverings and non-uniform notions of closed set computability. (English) Zbl 1262.03085 Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 73-88 (2008). MSC: 03D78 68Q05 PDF BibTeX XML Cite \textit{S. Le Roux} and \textit{M. Ziegler}, Electron. Notes Theor. Comput. Sci. 202, 73--88 (2008; Zbl 1262.03085) Full Text: DOI OpenURL
Spreen, Dieter On the continuity of effective multifunctions. (English) Zbl 1262.03095 Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 271-286 (2008). MSC: 03D78 03D45 54H05 PDF BibTeX XML Cite \textit{D. Spreen}, Electron. Notes Theor. Comput. Sci. 221, 271--286 (2008; Zbl 1262.03095) Full Text: DOI OpenURL
Selivanov, Victor On the difference hierarchy in countably based \(T_{0}\)-spaces. (English) Zbl 1262.03092 Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 257-269 (2008). MSC: 03D78 03F60 54D10 54H05 PDF BibTeX XML Cite \textit{V. Selivanov}, Electron. Notes Theor. Comput. Sci. 221, 257--269 (2008; Zbl 1262.03092) Full Text: DOI OpenURL
Müller, Norbert Th.; Zhao, Xishun Jordan areas and grids. (English) Zbl 1262.03090 Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 191-206 (2008). MSC: 03D78 PDF BibTeX XML Cite \textit{N. Th. Müller} and \textit{X. Zhao}, Electron. Notes Theor. Comput. Sci. 221, 191--206 (2008; Zbl 1262.03090) Full Text: DOI OpenURL
Steel, John R. Scales in \({\mathbf L}(\mathbb R)\). (English) Zbl 1159.03323 Kechris, Alexander S. (ed.) et al., Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-89951-2/hbk). Lecture Notes in Logic 31, 130-175 (2008). MSC: 03E15 03E45 03E60 03D55 91A44 PDF BibTeX XML Cite \textit{J. R. Steel}, Lect. Notes Log. 31, 130--175 (2008; Zbl 1159.03323) Backlinks: MO OpenURL
Doković, Dragomir Ž.; Smith, Benjamin H. Quaternionic matrices: Unitary similarity, simultaneous triangularization and some trace identities. (English) Zbl 1135.15012 Linear Algebra Appl. 428, No. 4, 890-910 (2008). Reviewer: Václav Burjan (Praha) MSC: 15B33 16R30 15A21 15A24 15A30 20G20 PDF BibTeX XML Cite \textit{D. Ž. Doković} and \textit{B. H. Smith}, Linear Algebra Appl. 428, No. 4, 890--910 (2008; Zbl 1135.15012) Full Text: DOI arXiv OpenURL
Zheng, Xizhong Bounded computable enumerability and hierarchy of computably enumerable reals. (English) Zbl 1155.03028 Lin, Guohui (ed.), Computing and combinatorics. 13th annual international conference, COCOON 2007, Banff, Canada, July 16–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73544-1/pbk). Lecture Notes in Computer Science 4598, 327-337 (2007). MSC: 03D55 03D45 03F60 PDF BibTeX XML Cite \textit{X. Zheng}, Lect. Notes Comput. Sci. 4598, 327--337 (2007; Zbl 1155.03028) Full Text: DOI OpenURL
Hernández-Hernández, Fernando Supremum vs. maximum: \(\lambda\)-sets. (English) Zbl 1120.03029 Topology Appl. 154, No. 10, 2081-2088 (2007). Reviewer: Miroslav Repický (Košice) MSC: 03E35 03E17 54A35 54G15 PDF BibTeX XML Cite \textit{F. Hernández-Hernández}, Topology Appl. 154, No. 10, 2081--2088 (2007; Zbl 1120.03029) Full Text: DOI OpenURL
Downey, Rod; Hirschfeldt, Denis R.; LaForte, Geoff Undecidability of the structure of the Solovay degrees of c.e. reals. (English) Zbl 1115.03046 J. Comput. Syst. Sci. 73, No. 5, 769-787 (2007). MSC: 03D35 03D30 03D80 68Q30 PDF BibTeX XML Cite \textit{R. Downey} et al., J. Comput. Syst. Sci. 73, No. 5, 769--787 (2007; Zbl 1115.03046) Full Text: DOI OpenURL
Zoli, Enrico Another algebraic equivalent of the continuum hypothesis. (English) Zbl 1135.03019 Tatra Mt. Math. Publ. 34, No. 2, 223-228 (2006). Reviewer: Pavel Kostyrko (Bratislava) MSC: 03E50 12F20 PDF BibTeX XML Cite \textit{E. Zoli}, Tatra Mt. Math. Publ. 34, No. 2, 223--228 (2006; Zbl 1135.03019) OpenURL
Calhoun, William C. Degrees of monotone complexity. (English) Zbl 1109.03033 J. Symb. Log. 71, No. 4, 1327-1341 (2006). MSC: 03D15 03D25 68Q30 PDF BibTeX XML Cite \textit{W. C. Calhoun}, J. Symb. Log. 71, No. 4, 1327--1341 (2006; Zbl 1109.03033) Full Text: DOI Link OpenURL
Normann, Dag Definability and reducibility in higher types over the reals. (English) Zbl 1102.03042 Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 200-220 (2006). MSC: 03D65 03E15 PDF BibTeX XML Cite \textit{D. Normann}, Lect. Notes Log. 24, 200--220 (2006; Zbl 1102.03042) OpenURL
Zhou, Qing; Hu, Weihao Decidability in analysis. (English) Zbl 1075.03035 Computing 75, No. 4, 319-336 (2005). MSC: 03F60 03D80 03B25 51M05 26E40 PDF BibTeX XML Cite \textit{Q. Zhou} and \textit{W. Hu}, Computing 75, No. 4, 319--336 (2005; Zbl 1075.03035) Full Text: DOI OpenURL
Cucker, Felipe On sparseness, reducibilities, and complexity. (English) Zbl 1085.03029 Ann. Pure Appl. Logic 134, No. 1, 53-61 (2005). Reviewer: Wolfgang Merkle (Heidelberg) MSC: 03D15 68Q05 68Q15 PDF BibTeX XML Cite \textit{F. Cucker}, Ann. Pure Appl. Logic 134, No. 1, 53--61 (2005; Zbl 1085.03029) Full Text: DOI OpenURL
Miller, Arnold W. On \(\lambda'\)-sets. (English) Zbl 1082.03044 Topol. Proc. 28, No. 1, 179-187 (2004). MSC: 03E17 03E35 03E50 PDF BibTeX XML Cite \textit{A. W. Miller}, Topol. Proc. 28, No. 1, 179--187 (2004; Zbl 1082.03044) Full Text: arXiv OpenURL
Bobr, V. V. On the solvability of finite irreducible linear groups with Hall TI-subgroups. (English. Russian original) Zbl 1066.20048 Math. Notes 73, No. 4, 467-473 (2003); translation from Mat. Zametki 73, No. 4, 494-501 (2003). MSC: 20G20 20D10 PDF BibTeX XML Cite \textit{V. V. Bobr}, Math. Notes 73, No. 4, 467--473 (2003; Zbl 1066.20048); translation from Mat. Zametki 73, No. 4, 494--501 (2003) Full Text: DOI OpenURL
Sartori, G.; Valente, G. Tools in the orbit space approach to the study of invariant functions: Rational parametrization of strata. (English) Zbl 1042.22007 J. Phys. A, Math. Gen. 36, No. 7, 1913-1929 (2003). Reviewer: Gert Roepstorff (Aachen) MSC: 22E70 22F05 20G20 14P10 PDF BibTeX XML Cite \textit{G. Sartori} and \textit{G. Valente}, J. Phys. A, Math. Gen. 36, No. 7, 1913--1929 (2003; Zbl 1042.22007) Full Text: DOI arXiv OpenURL
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André; Stephan, Frank Trivial reals. (English) Zbl 1044.03027 Downey, Rod (ed.) et al., Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6–10, 1999 and Chongqing, China, August 29–September 2, 2002. River Edge, NJ: World Scientific (ISBN 981-238-261-5/hbk). 103-131 (2003). Reviewer: Cristian S. Calude (Auckland) MSC: 03D25 68Q30 03D15 PDF BibTeX XML Cite \textit{R. G. Downey} et al., in: Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6--10, 1999 and Chongqing, China, August 29--September 2, 2002. River Edge, NJ: World Scientific. 103--131 (2003; Zbl 1044.03027) OpenURL
Hardie, K. A.; Salbany, S.; Vermeulen, J. J. C.; Witbooi, P. J. A non-Hausdorff quaternion multiplication. (English) Zbl 1047.55006 Theor. Comput. Sci. 305, No. 1-3, 135-158 (2003). Reviewer: J. Remedios (La Laguna) MSC: 55Q25 55Q40 06A07 52B99 20G20 PDF BibTeX XML Cite \textit{K. A. Hardie} et al., Theor. Comput. Sci. 305, No. 1--3, 135--158 (2003; Zbl 1047.55006) Full Text: DOI OpenURL
Goresky, Mark; Tai, Yung Sheng The moduli space of real abelian varieties with level structure. (English) Zbl 1046.14022 Compos. Math. 139, No. 1, 1-27 (2003). Reviewer: Ki Hang Kim (Montgomery) MSC: 14K10 14P05 14M17 14L35 20G20 PDF BibTeX XML Cite \textit{M. Goresky} and \textit{Y. S. Tai}, Compos. Math. 139, No. 1, 1--27 (2003; Zbl 1046.14022) Full Text: DOI arXiv OpenURL
Löwe, Benedikt Consequences of the axiom of Blackwell determinacy. (English) Zbl 1072.03033 Ir. Math. Soc. Bull. 49, 43-69 (2002). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E60 91A44 91A15 03-02 03E05 PDF BibTeX XML Cite \textit{B. Löwe}, Ir. Math. Soc. Bull. 49, 43--69 (2002; Zbl 1072.03033) OpenURL
Kosiński, Witold; Prokopowicz, Piotr; Ślȩzak, Dominik Fuzzy reals with algebraic operations: Algorithmic approach. (English) Zbl 1043.03041 Kłopotek, Mieczysław A. (ed.) et al., Intelligent information systems 2002. Proceedings of the IIS’ 2002 symposium, Sopot, Poland, June 3–6, 2002. Heidelberg: Physica-Verlag (ISBN 3-7908-1509-8/pbk). Advances in Soft Computing, 311-320 (2002). MSC: 03E72 PDF BibTeX XML Cite \textit{W. Kosiński} et al., in: Intelligent information systems 2002. Proceedings of the IIS' 2002 symposium, Sopot, Poland, June 3--6, 2002. Heidelberg: Physica-Verlag. 311--320 (2002; Zbl 1043.03041) OpenURL
Park, Dae Heui; Suh, Dong Youp Linear embeddings of semialgebraic \(G\)-spaces. (English) Zbl 1052.14067 Math. Z. 242, No. 4, 725-742 (2002). Reviewer: Eugenii I. Shustin (Tel Aviv) MSC: 14P10 20G20 57S99 22F30 22E15 14L30 PDF BibTeX XML Cite \textit{D. H. Park} and \textit{D. Y. Suh}, Math. Z. 242, No. 4, 725--742 (2002; Zbl 1052.14067) Full Text: DOI OpenURL
Lippe, David A contrast to the low basis theorem. (English) Zbl 1012.03053 Ann. Pure Appl. Logic 117, No. 1-3, 203-207 (2002). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03D25 03H15 PDF BibTeX XML Cite \textit{D. Lippe}, Ann. Pure Appl. Logic 117, No. 1--3, 203--207 (2002; Zbl 1012.03053) Full Text: DOI OpenURL
Marsh, R. J.; Rietsch, K. The intersection of opposed big cells in the real flag variety of type \(G_2\). (English) Zbl 1016.14026 Proc. Lond. Math. Soc., III. Ser. 85, No. 1, 22-42 (2002). Reviewer: Robert Marsh (Leicester) MSC: 14M15 20G20 14P05 PDF BibTeX XML Cite \textit{R. J. Marsh} and \textit{K. Rietsch}, Proc. Lond. Math. Soc. (3) 85, No. 1, 22--42 (2002; Zbl 1016.14026) Full Text: DOI arXiv OpenURL
Beauquier, Danièle; Slissenko, Anatol A first order logic for specification of timed algorithms: Basic properties and a decidable class. (English) Zbl 0988.03055 Ann. Pure Appl. Logic 113, No. 1-3, 13-52 (2002). MSC: 03B70 68Q60 03B25 PDF BibTeX XML Cite \textit{D. Beauquier} and \textit{A. Slissenko}, Ann. Pure Appl. Logic 113, No. 1--3, 13--52 (2002; Zbl 0988.03055) Full Text: DOI OpenURL
Matet, Pierre The covering number for category and partition relations on \(P_\omega(\lambda)\). (English) Zbl 1029.03035 Fundam. Math. 171, No. 3, 235-247 (2002). Reviewer: Boaz Tsaban (Ramat-Gan) MSC: 03E02 03E17 PDF BibTeX XML Cite \textit{P. Matet}, Fundam. Math. 171, No. 3, 235--247 (2002; Zbl 1029.03035) Full Text: DOI OpenURL
Blass, Andreas Needed reals and recursion in generic reals. (English) Zbl 0980.03055 Ann. Pure Appl. Logic 109, No. 1-2, 77-88 (2001). MSC: 03E17 03D28 03E40 PDF BibTeX XML Cite \textit{A. Blass}, Ann. Pure Appl. Logic 109, No. 1--2, 77--88 (2001; Zbl 0980.03055) Full Text: DOI OpenURL
Ben-David, Shai; Gurvits, Leonid A note on VC-dimension and measure of sets of reals. (English) Zbl 0971.03042 Comb. Probab. Comput. 9, No. 5, 391-405 (2000). MSC: 03E05 28A05 68Q32 05D05 60A10 54E52 28A10 03E15 PDF BibTeX XML Cite \textit{S. Ben-David} and \textit{L. Gurvits}, Comb. Probab. Comput. 9, No. 5, 391--405 (2000; Zbl 0971.03042) Full Text: DOI OpenURL