{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:R63CGXSREYR7WOFJT7322L5NSV","short_pith_number":"pith:R63CGXSR","schema_version":"1.0","canonical_sha256":"8fb6235e512623fb38a99ff7ad2fad956766af1de890c6dc9d9c56e5dfe280e1","source":{"kind":"arxiv","id":"2308.16809","version":1},"attestation_state":"computed","paper":{"title":"Pseudofinite proofs of the stable graph regularity lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"C. Terry, G. Conant","submitted_at":"2023-08-31T15:34:55Z","abstract_excerpt":"This expository article is based on two lectures given by the first author at the Fields Institute in the Fall 2021 Thematic Program on Trends in Pure and Applied Model Theory.\n  We give a detailed proof of a qualitative version of the Mallaris-Shelah regularity lemma for stable graphs using only basic local stability theory and an ultraproduct construction. This proof strategy was first established by Malliaris and Pillay, and later simplified by Pillay. We provide some further simplifications, and also explain how the pseudofinite approach can be used to obtain a qualitative strengthening (c"},"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":"2308.16809","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2023-08-31T15:34:55Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"a2e95770acf61ee2b14371fa93a8947da1aa75aeead5db1a263a314aa7fc4e53","abstract_canon_sha256":"d57081753bf3e926769a537fa06499db309dedae1c13ba4e3154b4be80f76bec"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:46:39.533265Z","signature_b64":"eN7tcNDJ+QOPtshY4HutDNl/a/mxSS1sOx+0Cj6l+t1uVzKxas3BI04j4+zPC/r+AY1iuw6H93ZngoIEtf+ECQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8fb6235e512623fb38a99ff7ad2fad956766af1de890c6dc9d9c56e5dfe280e1","last_reissued_at":"2026-07-05T06:46:39.532842Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:46:39.532842Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Pseudofinite proofs of the stable graph regularity lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"C. Terry, G. Conant","submitted_at":"2023-08-31T15:34:55Z","abstract_excerpt":"This expository article is based on two lectures given by the first author at the Fields Institute in the Fall 2021 Thematic Program on Trends in Pure and Applied Model Theory.\n  We give a detailed proof of a qualitative version of the Mallaris-Shelah regularity lemma for stable graphs using only basic local stability theory and an ultraproduct construction. This proof strategy was first established by Malliaris and Pillay, and later simplified by Pillay. We provide some further simplifications, and also explain how the pseudofinite approach can be used to obtain a qualitative strengthening (c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.16809","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.16809/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":"2308.16809","created_at":"2026-07-05T06:46:39.532905+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.16809v1","created_at":"2026-07-05T06:46:39.532905+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.16809","created_at":"2026-07-05T06:46:39.532905+00:00"},{"alias_kind":"pith_short_12","alias_value":"R63CGXSREYR7","created_at":"2026-07-05T06:46:39.532905+00:00"},{"alias_kind":"pith_short_16","alias_value":"R63CGXSREYR7WOFJ","created_at":"2026-07-05T06:46:39.532905+00:00"},{"alias_kind":"pith_short_8","alias_value":"R63CGXSR","created_at":"2026-07-05T06:46:39.532905+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.23503","citing_title":"Convolution semigroups for automorphism dynamics","ref_index":641,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV","json":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV.json","graph_json":"https://pith.science/api/pith-number/R63CGXSREYR7WOFJT7322L5NSV/graph.json","events_json":"https://pith.science/api/pith-number/R63CGXSREYR7WOFJT7322L5NSV/events.json","paper":"https://pith.science/paper/R63CGXSR"},"agent_actions":{"view_html":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV","download_json":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV.json","view_paper":"https://pith.science/paper/R63CGXSR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.16809&json=true","fetch_graph":"https://pith.science/api/pith-number/R63CGXSREYR7WOFJT7322L5NSV/graph.json","fetch_events":"https://pith.science/api/pith-number/R63CGXSREYR7WOFJT7322L5NSV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV/action/storage_attestation","attest_author":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV/action/author_attestation","sign_citation":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV/action/citation_signature","submit_replication":"https://pith.science/pith/R63CGXSREYR7WOFJT7322L5NSV/action/replication_record"}},"created_at":"2026-07-05T06:46:39.532905+00:00","updated_at":"2026-07-05T06:46:39.532905+00:00"}