{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:RA5UQ5H6W2IW3FRSMLCZUGZNFI","short_pith_number":"pith:RA5UQ5H6","schema_version":"1.0","canonical_sha256":"883b4874feb6916d963262c59a1b2d2a3759cfdb655c802fa6507a8621393e06","source":{"kind":"arxiv","id":"1411.0510","version":7},"attestation_state":"computed","paper":{"title":"A model theoretic study of right-angled buildings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Amador Martin-Pizarro, Andreas Baudisch, Martin Ziegler","submitted_at":"2014-11-03T14:54:56Z","abstract_excerpt":"We study the model theory of countable right-angled buildings with infinite residues. For every Coxeter graph we obtain a complete theory with a natural axiomatisation, which is $\\omega$-stable and equational. Furthermore, we provide sharp lower and upper bounds for its degree of ampleness, computed exclusively in terms of the associated Coxeter graph. This generalises and provides an alternative treatment of the free pseudospace."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1411.0510","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-11-03T14:54:56Z","cross_cats_sorted":[],"title_canon_sha256":"a00010295712106f293b98fba62a685d675bb88674e8a9fde71be5f197370770","abstract_canon_sha256":"02091ef76aacdfdb3f5b928f718d607ce411fe59475dca032f5c7b7ff3b69c86"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:18.853008Z","signature_b64":"ujWj3S7TDUVxEzSQ0O5VLwd6UvQchA1Q/qwesrxDFLlIVbuVm+fJ4yAwMZjr+3LiEAmIybo3hzpVc+4+0wENAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"883b4874feb6916d963262c59a1b2d2a3759cfdb655c802fa6507a8621393e06","last_reissued_at":"2026-05-18T00:35:18.852518Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:18.852518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A model theoretic study of right-angled buildings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Amador Martin-Pizarro, Andreas Baudisch, Martin Ziegler","submitted_at":"2014-11-03T14:54:56Z","abstract_excerpt":"We study the model theory of countable right-angled buildings with infinite residues. For every Coxeter graph we obtain a complete theory with a natural axiomatisation, which is $\\omega$-stable and equational. Furthermore, we provide sharp lower and upper bounds for its degree of ampleness, computed exclusively in terms of the associated Coxeter graph. This generalises and provides an alternative treatment of the free pseudospace."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0510","kind":"arxiv","version":7},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1411.0510","created_at":"2026-05-18T00:35:18.852595+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.0510v7","created_at":"2026-05-18T00:35:18.852595+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0510","created_at":"2026-05-18T00:35:18.852595+00:00"},{"alias_kind":"pith_short_12","alias_value":"RA5UQ5H6W2IW","created_at":"2026-05-18T12:28:46.137349+00:00"},{"alias_kind":"pith_short_16","alias_value":"RA5UQ5H6W2IW3FRS","created_at":"2026-05-18T12:28:46.137349+00:00"},{"alias_kind":"pith_short_8","alias_value":"RA5UQ5H6","created_at":"2026-05-18T12:28:46.137349+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI","json":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI.json","graph_json":"https://pith.science/api/pith-number/RA5UQ5H6W2IW3FRSMLCZUGZNFI/graph.json","events_json":"https://pith.science/api/pith-number/RA5UQ5H6W2IW3FRSMLCZUGZNFI/events.json","paper":"https://pith.science/paper/RA5UQ5H6"},"agent_actions":{"view_html":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI","download_json":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI.json","view_paper":"https://pith.science/paper/RA5UQ5H6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.0510&json=true","fetch_graph":"https://pith.science/api/pith-number/RA5UQ5H6W2IW3FRSMLCZUGZNFI/graph.json","fetch_events":"https://pith.science/api/pith-number/RA5UQ5H6W2IW3FRSMLCZUGZNFI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI/action/storage_attestation","attest_author":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI/action/author_attestation","sign_citation":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI/action/citation_signature","submit_replication":"https://pith.science/pith/RA5UQ5H6W2IW3FRSMLCZUGZNFI/action/replication_record"}},"created_at":"2026-05-18T00:35:18.852595+00:00","updated_at":"2026-05-18T00:35:18.852595+00:00"}