{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:OZCZ756AAZAVCTKLI3Y2BKGZU2","short_pith_number":"pith:OZCZ756A","schema_version":"1.0","canonical_sha256":"76459ff7c00641514d4b46f1a0a8d9a6b592df16b78a16ddcc720464decd8a2f","source":{"kind":"arxiv","id":"1702.08642","version":2},"attestation_state":"computed","paper":{"title":"Quantum mechanics in a metric sheaf: a model theoretic approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.LO","authors_text":"Andr\\'es Villaveces, Maicol A. Ochoa","submitted_at":"2017-02-28T04:36:34Z","abstract_excerpt":"We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic model theorem to metric sheaves. The essentials of the model theory of metric sheaves appeared in the form of Conference Proceedings. We provide a version of those results, for the sake of completeness, and then build metric sheaves for physical systems in the second part of the paper. Specifically, metric sheaves for quantum mechanical systems with pure point "},"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":"1702.08642","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-02-28T04:36:34Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"c6ea75af1f0edcf44e8a3fa60ac008c1f51fbd263287ece4536139546c51ab1c","abstract_canon_sha256":"2cee7be69ded348abe9520bd7bf97a764e68ee729de38b7df2aaeae3b582c41d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:57.260530Z","signature_b64":"b90lxNyGJM8ejhOtULQ43FZWNZZYqfZGCfmaFRz/j1AmgxTNmCyqMbRT4vufvqq9UDQLYONgFmw6+195ICYZCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76459ff7c00641514d4b46f1a0a8d9a6b592df16b78a16ddcc720464decd8a2f","last_reissued_at":"2026-05-18T00:44:57.260056Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:57.260056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum mechanics in a metric sheaf: a model theoretic approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.LO","authors_text":"Andr\\'es Villaveces, Maicol A. Ochoa","submitted_at":"2017-02-28T04:36:34Z","abstract_excerpt":"We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic model theorem to metric sheaves. The essentials of the model theory of metric sheaves appeared in the form of Conference Proceedings. We provide a version of those results, for the sake of completeness, and then build metric sheaves for physical systems in the second part of the paper. Specifically, metric sheaves for quantum mechanical systems with pure point "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.08642","kind":"arxiv","version":2},"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":"1702.08642","created_at":"2026-05-18T00:44:57.260128+00:00"},{"alias_kind":"arxiv_version","alias_value":"1702.08642v2","created_at":"2026-05-18T00:44:57.260128+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.08642","created_at":"2026-05-18T00:44:57.260128+00:00"},{"alias_kind":"pith_short_12","alias_value":"OZCZ756AAZAV","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"OZCZ756AAZAVCTKL","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"OZCZ756A","created_at":"2026-05-18T12:31:34.259226+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/OZCZ756AAZAVCTKLI3Y2BKGZU2","json":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2.json","graph_json":"https://pith.science/api/pith-number/OZCZ756AAZAVCTKLI3Y2BKGZU2/graph.json","events_json":"https://pith.science/api/pith-number/OZCZ756AAZAVCTKLI3Y2BKGZU2/events.json","paper":"https://pith.science/paper/OZCZ756A"},"agent_actions":{"view_html":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2","download_json":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2.json","view_paper":"https://pith.science/paper/OZCZ756A","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1702.08642&json=true","fetch_graph":"https://pith.science/api/pith-number/OZCZ756AAZAVCTKLI3Y2BKGZU2/graph.json","fetch_events":"https://pith.science/api/pith-number/OZCZ756AAZAVCTKLI3Y2BKGZU2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2/action/storage_attestation","attest_author":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2/action/author_attestation","sign_citation":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2/action/citation_signature","submit_replication":"https://pith.science/pith/OZCZ756AAZAVCTKLI3Y2BKGZU2/action/replication_record"}},"created_at":"2026-05-18T00:44:57.260128+00:00","updated_at":"2026-05-18T00:44:57.260128+00:00"}