{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:CYDDSQJ5AB2WJSDSEBSNAN562N","short_pith_number":"pith:CYDDSQJ5","schema_version":"1.0","canonical_sha256":"160639413d007564c8722064d037bed3405ac9ef4d8b498096449136c42fe738","source":{"kind":"arxiv","id":"2605.17411","version":1},"attestation_state":"computed","paper":{"title":"Combinatorics of Schur ultrafilters","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis.","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"S. Bardyla","submitted_at":"2026-05-17T12:14:30Z","abstract_excerpt":"In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on $\\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on $\\mathbb Z$."},"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":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.17411","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-17T12:14:30Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"c71b0c9bc65c4e3b4f7fb680deaf3fb659c788203362814cdd55921d47f9d32f","abstract_canon_sha256":"739b65df6b0a353ed61d7e613714c22e5c7325cd1e7f14b7c8c87f77b3ea43ac"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:03:57.109280Z","signature_b64":"7hjwyfleZHmkPSR+jBsTdCDqCw8PMNmc/UPnTrDu3tlHCRidjmJatBWTIcgPSQdFYTa/aAO/uX+26iMjkjPgCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"160639413d007564c8722064d037bed3405ac9ef4d8b498096449136c42fe738","last_reissued_at":"2026-05-20T00:03:57.108542Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:03:57.108542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Combinatorics of Schur ultrafilters","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis.","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"S. Bardyla","submitted_at":"2026-05-17T12:14:30Z","abstract_excerpt":"In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on $\\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on $\\mathbb Z$."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on Z that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on Z.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The Continuum Hypothesis is assumed to obtain the free Schur P-point on Z; the combinatorial characterization itself is taken as the basis for the explicit construction on Z.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Combinatorial characterization of Schur ultrafilters on countable commutative groups, plus construction of a free non-infinitary Schur ultrafilter on Z and existence of a free Schur P-point on Z under CH.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"4104c178fa941e6c8aa43d34cfb0bdeb85029247aef760a9f5cb6b80c840e0e2"},"source":{"id":"2605.17411","kind":"arxiv","version":1},"verdict":{"id":"457a2030-df81-4696-aca2-cb5da657538f","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T22:38:57.365957Z","strongest_claim":"We provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on Z that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on Z.","one_line_summary":"Combinatorial characterization of Schur ultrafilters on countable commutative groups, plus construction of a free non-infinitary Schur ultrafilter on Z and existence of a free Schur P-point on Z under CH.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The Continuum Hypothesis is assumed to obtain the free Schur P-point on Z; the combinatorial characterization itself is taken as the basis for the explicit construction on Z.","pith_extraction_headline":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.17411/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T23:01:19.624184Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T22:52:12.572797Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.745682Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.690245Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"ea7b037f7d3e1f60602dc3cf7f435fd5ff8f4b787cb71a12be350d89c5b6eefa"},"references":{"count":9,"sample":[{"doi":"","year":2025,"title":"S. Bardyla, P. Zlatoˇ s,Schur ultrafilters and Bohr compactifications of topological groups, Israel J. Math. accepted (2025), arXiv.2409.07280","work_id":"1537f600-43e3-4068-84c3-e736cd922d29","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2019,"title":"D. Chodounsk´ y, O. Guzm´ an,There are no P-points in Silver extensions,Israel J. Math.232(2019), 759–773","work_id":"fed474b7-a615-4f7e-bf5e-e9b7e06a3558","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Schur Number Five","work_id":"04c7e795-e3ec-4013-a86c-bf63bbfe2f01","ref_index":3,"cited_arxiv_id":"1711.08076","is_internal_anchor":true},{"doi":"","year":2012,"title":"N. Hindman, D. Strauss,Algebra in the Stone- ˇCech Compactification: Theory and Applications, Berlin, Boston: De Gruyter, 2012","work_id":"a272d694-0088-4d2b-b008-09a334496039","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1978,"title":"Kunen,Weak P-points inN ∗, Topology, Vol","work_id":"47ca028d-605a-4190-bc11-bad63f7ed8e0","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":9,"snapshot_sha256":"380157b4a8a859a47536ed07d0b1c4d04ef8fc8336fb5615318da83e430ec075","internal_anchors":1},"formal_canon":{"evidence_count":2,"snapshot_sha256":"f32468b9a558ef624d1a354330434c17a86c08e7cc38456de894122710817e24"},"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":"2605.17411","created_at":"2026-05-20T00:03:57.108645+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17411v1","created_at":"2026-05-20T00:03:57.108645+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17411","created_at":"2026-05-20T00:03:57.108645+00:00"},{"alias_kind":"pith_short_12","alias_value":"CYDDSQJ5AB2W","created_at":"2026-05-20T00:03:57.108645+00:00"},{"alias_kind":"pith_short_16","alias_value":"CYDDSQJ5AB2WJSDS","created_at":"2026-05-20T00:03:57.108645+00:00"},{"alias_kind":"pith_short_8","alias_value":"CYDDSQJ5","created_at":"2026-05-20T00:03:57.108645+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N","json":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N.json","graph_json":"https://pith.science/api/pith-number/CYDDSQJ5AB2WJSDSEBSNAN562N/graph.json","events_json":"https://pith.science/api/pith-number/CYDDSQJ5AB2WJSDSEBSNAN562N/events.json","paper":"https://pith.science/paper/CYDDSQJ5"},"agent_actions":{"view_html":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N","download_json":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N.json","view_paper":"https://pith.science/paper/CYDDSQJ5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17411&json=true","fetch_graph":"https://pith.science/api/pith-number/CYDDSQJ5AB2WJSDSEBSNAN562N/graph.json","fetch_events":"https://pith.science/api/pith-number/CYDDSQJ5AB2WJSDSEBSNAN562N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N/action/storage_attestation","attest_author":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N/action/author_attestation","sign_citation":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N/action/citation_signature","submit_replication":"https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N/action/replication_record"}},"created_at":"2026-05-20T00:03:57.108645+00:00","updated_at":"2026-05-20T00:03:57.108645+00:00"}