{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:TMJUT5PW4R77ZSPAYA5UGVMU4F","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4e431da2db6dd9c4ac9d81017e2ea2a3ab539b0e72f1ec8fcc3b6cfd92cb8002","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-12-15T18:36:58Z","title_canon_sha256":"77ec3572b1ae1c6f5b43e9f016007f86daad7b578cec37fe9efa6a8d03312823"},"schema_version":"1.0","source":{"id":"2212.08027","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.08027","created_at":"2026-07-05T06:25:38Z"},{"alias_kind":"arxiv_version","alias_value":"2212.08027v2","created_at":"2026-07-05T06:25:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.08027","created_at":"2026-07-05T06:25:38Z"},{"alias_kind":"pith_short_12","alias_value":"TMJUT5PW4R77","created_at":"2026-07-05T06:25:38Z"},{"alias_kind":"pith_short_16","alias_value":"TMJUT5PW4R77ZSPA","created_at":"2026-07-05T06:25:38Z"},{"alias_kind":"pith_short_8","alias_value":"TMJUT5PW","created_at":"2026-07-05T06:25:38Z"}],"graph_snapshots":[{"event_id":"sha256:20fc2efe0be46b6b99fdde063d6449721346c452952501505a689679af9a80b9","target":"graph","created_at":"2026-07-05T06:25:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2212.08027/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Given a structure $M$ we introduce infinitary logic expansions, which generalise the Morleyisation. We show that these expansions are tame, in the sense that they preserve and reflect both the Embedding Ramsey Property (ERP) and the Modelling Property (MP). We then turn our attention to Scow's theorem connecting generalised indiscernibles with Ramsey classes and show that by passing through infinitary logic, one can obtain a stronger result, which does not require any technical assumptions. We also show that every structure with ERP, not necessarily countable, admits a linear order which is a ","authors_text":"Aris Papadopoulos, Nadav Meir","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-12-15T18:36:58Z","title":"Practical and Structural Infinitary Expansions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.08027","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0201286213f54fa1ec1efb2709e92314e8561b737c3e21fe9ab31f78206affec","target":"record","created_at":"2026-07-05T06:25:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4e431da2db6dd9c4ac9d81017e2ea2a3ab539b0e72f1ec8fcc3b6cfd92cb8002","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-12-15T18:36:58Z","title_canon_sha256":"77ec3572b1ae1c6f5b43e9f016007f86daad7b578cec37fe9efa6a8d03312823"},"schema_version":"1.0","source":{"id":"2212.08027","kind":"arxiv","version":2}},"canonical_sha256":"9b1349f5f6e47ffcc9e0c03b435594e155f2e9fa98cfb14541a70537b1816ca7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b1349f5f6e47ffcc9e0c03b435594e155f2e9fa98cfb14541a70537b1816ca7","first_computed_at":"2026-07-05T06:25:38.978382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:25:38.978382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LhwnacozDqdske6AeQ+AoDyNa/JVjxybsDb+mi2Qp5O1pdhYcrVhlC+DhNSTlmESicueLfwpi2uDr+fiyjozCg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:25:38.978776Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.08027","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0201286213f54fa1ec1efb2709e92314e8561b737c3e21fe9ab31f78206affec","sha256:20fc2efe0be46b6b99fdde063d6449721346c452952501505a689679af9a80b9"],"state_sha256":"3b5cd1f5f23b44b8d51be13a54a34f3cb0e4e40ffc077a3267a9a25c633bd367"}