{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:RFRFP45MYWCHICTLL6VXCX33AG","short_pith_number":"pith:RFRFP45M","schema_version":"1.0","canonical_sha256":"896257f3acc584740a6b5fab715f7b019eba9130ceba3e199c169bfee00b980c","source":{"kind":"arxiv","id":"1203.6042","version":1},"attestation_state":"computed","paper":{"title":"Homogeneous orthocomplete effect algebras are covered by MV-algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jan Paseka, Josef Niederle","submitted_at":"2012-03-27T18:26:48Z","abstract_excerpt":"The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality property introduced by Tkadlec as common generalizations of orthocomplete and lattice effect algebras. We show that every block of an Archimedean homogeneous effect algebra satisfying the property (W+) is lattice ordered. Hence such effect algebras can be covered by ranges of observables. As a corollary, this yields that every block of a homogeneous orthoco"},"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":"1203.6042","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-03-27T18:26:48Z","cross_cats_sorted":[],"title_canon_sha256":"68d510a67039ffee62cd55ccc79fcd922dc077979151014b0b485a5ffe0298cb","abstract_canon_sha256":"8e3adbb45eeae431724f09f5b56daf4a5afa2591d59d814f35350029c40008d2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:59:12.648833Z","signature_b64":"XSF8LVSZPf8p117fihcYSO11KSxXG9wxh9XD/qh23z1S5EbPVY4EcUAQjLPShSJWYq3gzHKxNESOO6XIe6LzBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"896257f3acc584740a6b5fab715f7b019eba9130ceba3e199c169bfee00b980c","last_reissued_at":"2026-05-18T03:59:12.648140Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:59:12.648140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Homogeneous orthocomplete effect algebras are covered by MV-algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jan Paseka, Josef Niederle","submitted_at":"2012-03-27T18:26:48Z","abstract_excerpt":"The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality property introduced by Tkadlec as common generalizations of orthocomplete and lattice effect algebras. We show that every block of an Archimedean homogeneous effect algebra satisfying the property (W+) is lattice ordered. Hence such effect algebras can be covered by ranges of observables. As a corollary, this yields that every block of a homogeneous orthoco"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6042","kind":"arxiv","version":1},"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":"1203.6042","created_at":"2026-05-18T03:59:12.648224+00:00"},{"alias_kind":"arxiv_version","alias_value":"1203.6042v1","created_at":"2026-05-18T03:59:12.648224+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6042","created_at":"2026-05-18T03:59:12.648224+00:00"},{"alias_kind":"pith_short_12","alias_value":"RFRFP45MYWCH","created_at":"2026-05-18T12:27:20.899486+00:00"},{"alias_kind":"pith_short_16","alias_value":"RFRFP45MYWCHICTL","created_at":"2026-05-18T12:27:20.899486+00:00"},{"alias_kind":"pith_short_8","alias_value":"RFRFP45M","created_at":"2026-05-18T12:27:20.899486+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/RFRFP45MYWCHICTLL6VXCX33AG","json":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG.json","graph_json":"https://pith.science/api/pith-number/RFRFP45MYWCHICTLL6VXCX33AG/graph.json","events_json":"https://pith.science/api/pith-number/RFRFP45MYWCHICTLL6VXCX33AG/events.json","paper":"https://pith.science/paper/RFRFP45M"},"agent_actions":{"view_html":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG","download_json":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG.json","view_paper":"https://pith.science/paper/RFRFP45M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1203.6042&json=true","fetch_graph":"https://pith.science/api/pith-number/RFRFP45MYWCHICTLL6VXCX33AG/graph.json","fetch_events":"https://pith.science/api/pith-number/RFRFP45MYWCHICTLL6VXCX33AG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG/action/storage_attestation","attest_author":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG/action/author_attestation","sign_citation":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG/action/citation_signature","submit_replication":"https://pith.science/pith/RFRFP45MYWCHICTLL6VXCX33AG/action/replication_record"}},"created_at":"2026-05-18T03:59:12.648224+00:00","updated_at":"2026-05-18T03:59:12.648224+00:00"}