{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/in-dependence-of-the-axioms-of-l-trees","title":"(In)dependence of the axioms of $Λ$-trees","arxiv_id":"2112.02704","date":"2021-12-05","proceeding":null,"authors":["Raphael Appenzeller"],"abstract":"A $\\Lambda$-tree is a $\\Lambda$-metric space satisfying three axioms (1), (2) and (3). We give a characterization of those ordered abelian groups $\\Lambda$ for which axioms (1) and (2) imply axiom (3). As a special case, it follows that for the important class of ordered abelian groups $\\Lambda$ that satisfy $\\Lambda=2\\Lambda$, (3) follows from (1) and (2). For some ordered abelian groups $\\Lambda$, we show that axiom (2) is independent of the axioms (1) and (3) and ask whether this holds for all ordered abelian groups. Part of this work has been formalized in the proof assistant \\textsf{Lean}.","url_abs":"https://arxiv.org/abs/2112.02704v2","url_pdf":"https://arxiv.org/pdf/2112.02704v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"in-dependence-of-the-axioms-of-l-trees","repo_url":"https://github.com/strichcoder/lambda-metric-space","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}