{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ZF7WNFQDLVMHTE6DGPTBMP2W7G","short_pith_number":"pith:ZF7WNFQD","canonical_record":{"source":{"id":"1408.3699","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-16T04:13:57Z","cross_cats_sorted":[],"title_canon_sha256":"17117487529606f09baeef6dd197b746569fd1b17228a212c35e133a9ae8ee52","abstract_canon_sha256":"6bada48a147f26d703215bd9e1018041a60fa3a4f1477df52df5a9dceaf7b28c"},"schema_version":"1.0"},"canonical_sha256":"c97f6696035d587993c333e6163f56f9be13bbf3492e436c87c3a46ef81b9e8d","source":{"kind":"arxiv","id":"1408.3699","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.3699","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"1408.3699v3","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.3699","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"ZF7WNFQDLVMH","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZF7WNFQDLVMHTE6D","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZF7WNFQD","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ZF7WNFQDLVMHTE6DGPTBMP2W7G","target":"record","payload":{"canonical_record":{"source":{"id":"1408.3699","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-16T04:13:57Z","cross_cats_sorted":[],"title_canon_sha256":"17117487529606f09baeef6dd197b746569fd1b17228a212c35e133a9ae8ee52","abstract_canon_sha256":"6bada48a147f26d703215bd9e1018041a60fa3a4f1477df52df5a9dceaf7b28c"},"schema_version":"1.0"},"canonical_sha256":"c97f6696035d587993c333e6163f56f9be13bbf3492e436c87c3a46ef81b9e8d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:18.569099Z","signature_b64":"i5alnqTJSPNKAfqCittY5gKn0jgMLGG93J6KgisxFYKRXTE409pobfNVeoEp9tuOCzOcotm7H5BEQu1Q//vZDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c97f6696035d587993c333e6163f56f9be13bbf3492e436c87c3a46ef81b9e8d","last_reissued_at":"2026-05-18T01:11:18.568682Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:18.568682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.3699","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bUc5gGfPHhVwCv+rEDEeYRtzNAvJ6bUvvpyVhZh0fHIY2O/Z0eL/3cQmu4DEDOJXyM/QuQpoZObHHuOdvgl5Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:46:15.100672Z"},"content_sha256":"790f1a8976025e755dd9a623ddcbe8b07dd110089d2d5d417efd7d4797c67813","schema_version":"1.0","event_id":"sha256:790f1a8976025e755dd9a623ddcbe8b07dd110089d2d5d417efd7d4797c67813"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ZF7WNFQDLVMHTE6DGPTBMP2W7G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Karim Khanaki","submitted_at":"2014-08-16T04:13:57Z","abstract_excerpt":"This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula $\\phi$, we prove definability of all complete $\\phi$-types over models and deduce from this the fundamental theorem of stability. Third, we study an important property in measure theory, Talag"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.3699","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZkEGWI+EBh1PDRAKEM/LyX+M+k6/yxw3WU5Wb5W5a14lBGsi8HDvoB3uyFe0rfGr23LVV3EuE2XICTgkDdkrDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:46:15.101032Z"},"content_sha256":"1eedbb0658387f9624b17f4e09c32c43488e03655af1fc2ed0b1d52158ccd87b","schema_version":"1.0","event_id":"sha256:1eedbb0658387f9624b17f4e09c32c43488e03655af1fc2ed0b1d52158ccd87b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G/bundle.json","state_url":"https://pith.science/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T11:46:15Z","links":{"resolver":"https://pith.science/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G","bundle":"https://pith.science/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G/bundle.json","state":"https://pith.science/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZF7WNFQDLVMHTE6DGPTBMP2W7G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZF7WNFQDLVMHTE6DGPTBMP2W7G","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":"6bada48a147f26d703215bd9e1018041a60fa3a4f1477df52df5a9dceaf7b28c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-16T04:13:57Z","title_canon_sha256":"17117487529606f09baeef6dd197b746569fd1b17228a212c35e133a9ae8ee52"},"schema_version":"1.0","source":{"id":"1408.3699","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.3699","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"1408.3699v3","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.3699","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"ZF7WNFQDLVMH","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZF7WNFQDLVMHTE6D","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZF7WNFQD","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:1eedbb0658387f9624b17f4e09c32c43488e03655af1fc2ed0b1d52158ccd87b","target":"graph","created_at":"2026-05-18T01:11:18Z","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"},"paper":{"abstract_excerpt":"This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula $\\phi$, we prove definability of all complete $\\phi$-types over models and deduce from this the fundamental theorem of stability. Third, we study an important property in measure theory, Talag","authors_text":"Karim Khanaki","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-16T04:13:57Z","title":"Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.3699","kind":"arxiv","version":3},"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:790f1a8976025e755dd9a623ddcbe8b07dd110089d2d5d417efd7d4797c67813","target":"record","created_at":"2026-05-18T01:11:18Z","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":"6bada48a147f26d703215bd9e1018041a60fa3a4f1477df52df5a9dceaf7b28c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-16T04:13:57Z","title_canon_sha256":"17117487529606f09baeef6dd197b746569fd1b17228a212c35e133a9ae8ee52"},"schema_version":"1.0","source":{"id":"1408.3699","kind":"arxiv","version":3}},"canonical_sha256":"c97f6696035d587993c333e6163f56f9be13bbf3492e436c87c3a46ef81b9e8d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c97f6696035d587993c333e6163f56f9be13bbf3492e436c87c3a46ef81b9e8d","first_computed_at":"2026-05-18T01:11:18.568682Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:18.568682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i5alnqTJSPNKAfqCittY5gKn0jgMLGG93J6KgisxFYKRXTE409pobfNVeoEp9tuOCzOcotm7H5BEQu1Q//vZDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:18.569099Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.3699","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:790f1a8976025e755dd9a623ddcbe8b07dd110089d2d5d417efd7d4797c67813","sha256:1eedbb0658387f9624b17f4e09c32c43488e03655af1fc2ed0b1d52158ccd87b"],"state_sha256":"1f18e25fca56156137af226d2f55f8cfd29f779ff8d4874024ad40f6bb2db8f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NtH/TjS8gPvaZ46DchzmNcKQiCM7nsElrYWmV24jiTzR8SUvloo5egUg+3UPJbse6wU+M8LGnkdhVKjZeY8hBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T11:46:15.103256Z","bundle_sha256":"272ea2e89178de4193f99ff7512487e92dcc9624447d13c0799e561c5869a67e"}}