{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:CXABWMB2OBSPOZGQLPGAVBT3BR","short_pith_number":"pith:CXABWMB2","schema_version":"1.0","canonical_sha256":"15c01b303a7064f764d05bcc0a867b0c77f18344fddab00891bae1fb56061931","source":{"kind":"arxiv","id":"2306.00101","version":4},"attestation_state":"computed","paper":{"title":"$\\widetilde{\\mid}\\hspace{1mm}$-divisibility of ultrafilters II: The big picture","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Boris \\v{S}obot","submitted_at":"2023-05-31T18:23:27Z","abstract_excerpt":"A divisibility relation on ultrafilters is defined as follows: ${\\cal F}\\hspace{1mm}\\widetilde{\\mid}\\hspace{1mm}{\\cal G}$ if and only if every set in $\\cal F$ upward closed for divisibility also belongs to $\\cal G$. After describing the first $\\omega$ levels of this quasiorder, in this paper we generalize the process of determining the basic divisors of an ultrafilter. First we describe these basic divisors, obtained as (equivalence classes of) powers of prime ultrafilters. Using methods of nonstandard analysis we determine the pattern of an ultrafilter: the collection of its basic divisors as"},"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":"2306.00101","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-05-31T18:23:27Z","cross_cats_sorted":[],"title_canon_sha256":"d7176fd1ae76a7a956a3607c8b3efc463866f745fe0bb65fdd0c14be3e8b6cf2","abstract_canon_sha256":"072116ec277871749eb4dfdd9b1a925db4eccc40ad82d3042795120760a5ce5c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:01:24.479657Z","signature_b64":"aQgu+6SpyVFgL64K/okTBm8dchMIdllsXrz5fHEXkBxio2ksdt0lDoEnq61YunHdHzr7LkHUBRzRD73ON3sgDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15c01b303a7064f764d05bcc0a867b0c77f18344fddab00891bae1fb56061931","last_reissued_at":"2026-07-05T09:01:24.479193Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:01:24.479193Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"$\\widetilde{\\mid}\\hspace{1mm}$-divisibility of ultrafilters II: The big picture","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Boris \\v{S}obot","submitted_at":"2023-05-31T18:23:27Z","abstract_excerpt":"A divisibility relation on ultrafilters is defined as follows: ${\\cal F}\\hspace{1mm}\\widetilde{\\mid}\\hspace{1mm}{\\cal G}$ if and only if every set in $\\cal F$ upward closed for divisibility also belongs to $\\cal G$. After describing the first $\\omega$ levels of this quasiorder, in this paper we generalize the process of determining the basic divisors of an ultrafilter. First we describe these basic divisors, obtained as (equivalence classes of) powers of prime ultrafilters. Using methods of nonstandard analysis we determine the pattern of an ultrafilter: the collection of its basic divisors as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.00101","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2306.00101/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2306.00101","created_at":"2026-07-05T09:01:24.479266+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.00101v4","created_at":"2026-07-05T09:01:24.479266+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.00101","created_at":"2026-07-05T09:01:24.479266+00:00"},{"alias_kind":"pith_short_12","alias_value":"CXABWMB2OBSP","created_at":"2026-07-05T09:01:24.479266+00:00"},{"alias_kind":"pith_short_16","alias_value":"CXABWMB2OBSPOZGQ","created_at":"2026-07-05T09:01:24.479266+00:00"},{"alias_kind":"pith_short_8","alias_value":"CXABWMB2","created_at":"2026-07-05T09:01:24.479266+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/CXABWMB2OBSPOZGQLPGAVBT3BR","json":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR.json","graph_json":"https://pith.science/api/pith-number/CXABWMB2OBSPOZGQLPGAVBT3BR/graph.json","events_json":"https://pith.science/api/pith-number/CXABWMB2OBSPOZGQLPGAVBT3BR/events.json","paper":"https://pith.science/paper/CXABWMB2"},"agent_actions":{"view_html":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR","download_json":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR.json","view_paper":"https://pith.science/paper/CXABWMB2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.00101&json=true","fetch_graph":"https://pith.science/api/pith-number/CXABWMB2OBSPOZGQLPGAVBT3BR/graph.json","fetch_events":"https://pith.science/api/pith-number/CXABWMB2OBSPOZGQLPGAVBT3BR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR/action/storage_attestation","attest_author":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR/action/author_attestation","sign_citation":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR/action/citation_signature","submit_replication":"https://pith.science/pith/CXABWMB2OBSPOZGQLPGAVBT3BR/action/replication_record"}},"created_at":"2026-07-05T09:01:24.479266+00:00","updated_at":"2026-07-05T09:01:24.479266+00:00"}