{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:52:30Z","timestamp":1777517550377,"version":"3.51.4"},"reference-count":32,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Computability"],"published-print":{"date-parts":[[2023,6,21]]},"abstract":"<jats:p>We study the computability degree of real numbers arising as [Formula: see text]-Betti numbers or [Formula: see text]-torsion of groups, parametrised over the Turing degree of the word problem.<\/jats:p>","DOI":"10.3233\/com-220416","type":"journal-article","created":{"date-parts":[[2023,3,14]],"date-time":"2023-03-14T12:04:52Z","timestamp":1678795492000},"page":"175-201","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":4,"title":["L2-Betti numbers and computability of reals"],"prefix":"10.1177","volume":"12","author":[{"given":"Clara","family":"L\u00f6h","sequence":"first","affiliation":[{"name":"Fakult\u00e4t f\u00fcr Mathematik, Universit\u00e4t Regensburg, 93040 Regensburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Uschold","sequence":"additional","affiliation":[{"name":"Fakult\u00e4t f\u00fcr Mathematik, Universit\u00e4t Regensburg, 93040 Regensburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2023,3,13]]},"reference":[{"key":"ref001","unstructured":"M.F.\u00a0Atiyah, Elliptic operators, discrete groups and von Neumann algebras, in: Colloque \u201cAnalyse et Topologie\u201d en l\u2019honneur de Henri Cartan, Soci\u00e9t\u00e9 Math\u00e9matique de France (SMF), 1976, pp.\u00a043\u201372."},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/pdt029"},{"key":"ref003","unstructured":"J.\u00a0Avigad, L.\u00a0de\u00a0Moura and S.\u00a0Kong, Theorem proving in Lean, 2021. Release 3.23.0, https:\/\/leanprover.github.io\/theorem_proving_in_lean\/."},{"key":"ref004","first-page":"29","volume":"4","author":"Egbert W.E.","year":"1978","journal-title":"Hewlett-Packard Journal"},{"key":"ref005","doi-asserted-by":"publisher","DOI":"10.1007\/s00208-005-0640-8"},{"key":"ref006","doi-asserted-by":"publisher","DOI":"10.1515\/JGT.2006.011"},{"key":"ref007","unstructured":"F.\u00a0Fournier-Facio, C.\u00a0L\u00f6h and M.\u00a0Moraschini, Bounded cohomology of finitely presented groups: Vanishing, non-vanishing, and computability, Annali della Scuola Normale Superiore di Pisa (2021), to appear."},{"key":"ref008","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-013-0497-5"},{"key":"ref009","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/bdu114"},{"key":"ref010","unstructured":"P.A.\u00a0Griffith, Infinite Abelian Group Theory, University of Chicago Press, Chicago, Ill.\u2013London, 1970."},{"key":"ref011","unstructured":"T.\u00a0Groth, l2-Bettizahlen endlich pr\u00e4sentierter Gruppen, BSc thesis, Universit\u00e4t G\u00f6ttingen, 2012."},{"key":"ref012","unstructured":"N.\u00a0Heuer, The full spectrum of scl on recursively presented groups, Geometricae Dedicata (2019), to appear."},{"key":"ref013","unstructured":"N.\u00a0Heuer and C.\u00a0L\u00f6h, Transcendental simplicial volumes, Annales de l\u2019Institut Fourier (2021), to appear."},{"key":"ref014","doi-asserted-by":"crossref","unstructured":"H.\u00a0Kammeyer,\n                      Introduction to\n                      \u21132\n                      -Invariants\n                      , Springer, 2019.","DOI":"10.1007\/978-3-030-28297-4"},{"key":"ref015","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1969-12271-8"},{"issue":"6","key":"ref016","first-page":"561","volume":"5","author":"Linnell P.A.","year":"1993","journal-title":"Forum Math."},{"key":"ref017","doi-asserted-by":"crossref","unstructured":"C.\u00a0L\u00f6h and M.\u00a0Uschold, L2-Betti numbers and computability of reals \u2013 Lean project. https:\/\/gitlab.com\/L2-comp\/l2-comp-lean, 2022.","DOI":"10.3233\/COM-220416"},{"key":"ref018","doi-asserted-by":"crossref","unstructured":"C.\u00a0L\u00f6h and M.\u00a0Uschold, L2-Betti numbers and computability of reals, 2022, arXiv:2202.03159v2.","DOI":"10.3233\/COM-220416"},{"key":"ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF01896404"},{"key":"ref020","unstructured":"W.\u00a0L\u00fcck, L2\n                      -Invariants: Theory and Applications to Geometry and K-Theory\n                      ,\n                      Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]\n                      , Vol.\u00a044, Springer, 2002."},{"key":"ref021","doi-asserted-by":"crossref","unstructured":"C.F.\u00a0MillerIII, Decision problems for groups \u2013 survey and reflections, in: Algorithms and Classification in Combinatorial Group Theory. Lectures of a Workshop on Algorithms, Word Problems and Classification in Combinatorial Group Theory, Held at MSRI, Berkeley, CA, USA, January 1989, Springer-Verlag, 1989, pp.\u00a01\u201359.","DOI":"10.1007\/978-1-4613-9730-4_1"},{"key":"ref022","doi-asserted-by":"publisher","DOI":"10.1016\/j.top.2007.02.002"},{"key":"ref023","doi-asserted-by":"publisher","DOI":"10.1112\/blms.12813"},{"key":"ref024","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-34.4.465"},{"key":"ref025","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/jdv026"},{"key":"ref026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59234-9_1"},{"key":"ref027","doi-asserted-by":"crossref","unstructured":"J.J.\u00a0Rotman, An Introduction to the Theory of Groups, Graduate Texts in Mathematics, Vol.\u00a0148, Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4176-8"},{"key":"ref028","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-01-02699-X"},{"key":"ref029","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1968-12022-1"},{"key":"ref030","doi-asserted-by":"crossref","unstructured":"S.G.\u00a0Simpson, Degrees of unsolvability: A survey of results, Barewise, Jon, 1977, pp.\u00a0631\u2013652.","DOI":"10.1016\/S0049-237X(08)71117-0"},{"key":"ref031","doi-asserted-by":"crossref","unstructured":"The mathlib Community. The Lean Mathematical Library.\n                      Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP \u20192)\n                      , 2020.","DOI":"10.1145\/3372885.3373824"},{"key":"ref032","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.2.159"}],"container-title":["Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/COM-220416","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/COM-220416","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/COM-220416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:02:56Z","timestamp":1777392176000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-220416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,13]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6,21]]}},"alternative-id":["10.3233\/COM-220416"],"URL":"https:\/\/doi.org\/10.3233\/com-220416","relation":{},"ISSN":["2211-3568","2211-3576"],"issn-type":[{"value":"2211-3568","type":"print"},{"value":"2211-3576","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,13]]}}}