{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:H6WXYBAC6VVOUMYF4UDFOP2WFD","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":"66862e13bb73ff9a649123ac86e0c9c98f398ba62d9a55e31248c308a88b6472","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2024-08-07T05:34:25Z","title_canon_sha256":"74a784c908e28a4e8c216db9fb49a443877e50389c91cb88ebdfb899f7e3aedd"},"schema_version":"1.0","source":{"id":"2408.03555","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.03555","created_at":"2026-07-05T08:57:58Z"},{"alias_kind":"arxiv_version","alias_value":"2408.03555v2","created_at":"2026-07-05T08:57:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.03555","created_at":"2026-07-05T08:57:58Z"},{"alias_kind":"pith_short_12","alias_value":"H6WXYBAC6VVO","created_at":"2026-07-05T08:57:58Z"},{"alias_kind":"pith_short_16","alias_value":"H6WXYBAC6VVOUMYF","created_at":"2026-07-05T08:57:58Z"},{"alias_kind":"pith_short_8","alias_value":"H6WXYBAC","created_at":"2026-07-05T08:57:58Z"}],"graph_snapshots":[{"event_id":"sha256:6da1a258ef531474edda63e13005b4d34bede66d75e486283e36f9015cb2b4dc","target":"graph","created_at":"2026-07-05T08:57:58Z","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/2408.03555/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"By Lindstr\\\"{o}m's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is however less harmless and has been payed attention by some authors. Affine continuous logic is the fragment of continuous logic obtained by avoiding the connectives $\\wedge,\\vee$. This reduction leads to the affinization of most basic tools and technics of continuous logic such as the ultraproduct construction, compactness theorem, type, saturation etc. The affine variant of the ultraproduct construction is the ul","authors_text":"Seyed-Mohammad Bagheri","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2024-08-07T05:34:25Z","title":"Elements of affine model theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.03555","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:d170cfe8eb915fea849c7aa32d18bedd92aeb8f8d6dbf6fbd3aa96412ecb60b5","target":"record","created_at":"2026-07-05T08:57:58Z","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":"66862e13bb73ff9a649123ac86e0c9c98f398ba62d9a55e31248c308a88b6472","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2024-08-07T05:34:25Z","title_canon_sha256":"74a784c908e28a4e8c216db9fb49a443877e50389c91cb88ebdfb899f7e3aedd"},"schema_version":"1.0","source":{"id":"2408.03555","kind":"arxiv","version":2}},"canonical_sha256":"3fad7c0402f56aea3305e506573f5628dc62de78ad0daf50a50ebb900f33330a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3fad7c0402f56aea3305e506573f5628dc62de78ad0daf50a50ebb900f33330a","first_computed_at":"2026-07-05T08:57:58.369932Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:57:58.369932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6SbE9P8XyP3uShTKM4dwBVLLDlPS7PtUig1iai0+wW4h9KIcQ37RW5UTv0gc6i3M5d+9HSBA4vxcHWmMOh+2BA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:57:58.370415Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.03555","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d170cfe8eb915fea849c7aa32d18bedd92aeb8f8d6dbf6fbd3aa96412ecb60b5","sha256:6da1a258ef531474edda63e13005b4d34bede66d75e486283e36f9015cb2b4dc"],"state_sha256":"95f3b81e0243180bdaacbd5d9f712e35a4f22a1021c78db685694fc766a128b3"}