{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HLMRSMH3T65VSOPL3UGVAHEWWE","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":"81be33faa0df8325256ea3e941171b394adb3ecd8e4d4eb27bde5e15630f4b50","cross_cats_sorted":["hep-th","math.DG","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-02-08T17:47:34Z","title_canon_sha256":"8913408244f2580e2dc365e9ad34768f73c31317865d2bdc9ecaf3938ebd48de"},"schema_version":"1.0","source":{"id":"1602.02667","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.02667","created_at":"2026-05-18T01:21:09Z"},{"alias_kind":"arxiv_version","alias_value":"1602.02667v1","created_at":"2026-05-18T01:21:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.02667","created_at":"2026-05-18T01:21:09Z"},{"alias_kind":"pith_short_12","alias_value":"HLMRSMH3T65V","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HLMRSMH3T65VSOPL","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HLMRSMH3","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:e063f21d06dcfd7f9d153856767004bb18634b856eefd926edf0c38169904c9d","target":"graph","created_at":"2026-05-18T01:21:09Z","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":"Model-theoretic aspects of exotic smoothness were studied long ago uncovering unexpected relations to noncommutative spaces and quantum theory. Some of these relations were worked out in detail in later work. An important point in the argumentation was the forcing construction of Cohen but without a direct application to exotic smoothness. In this article we assign the set-theoretic forcing on trees to Casson handles and characterize small exotic smooth $R^4$ from this point of view. Moreover, we show how models in some Grothendieck toposes can help describing such differential structures in d","authors_text":"Jerzy Kr\\'ol","cross_cats":["hep-th","math.DG","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-02-08T17:47:34Z","title":"Model and Set-Theoretic Aspects of Exotic Smoothness Structures on $\\mathbb{R}^4$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.02667","kind":"arxiv","version":1},"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:ce156def190741340a7d156921b6f7ead039a2fc32974ee3f6480be2232b120f","target":"record","created_at":"2026-05-18T01:21:09Z","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":"81be33faa0df8325256ea3e941171b394adb3ecd8e4d4eb27bde5e15630f4b50","cross_cats_sorted":["hep-th","math.DG","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2016-02-08T17:47:34Z","title_canon_sha256":"8913408244f2580e2dc365e9ad34768f73c31317865d2bdc9ecaf3938ebd48de"},"schema_version":"1.0","source":{"id":"1602.02667","kind":"arxiv","version":1}},"canonical_sha256":"3ad91930fb9fbb5939ebdd0d501c96b11569a04214cab4f6cd9673ab410c4b57","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ad91930fb9fbb5939ebdd0d501c96b11569a04214cab4f6cd9673ab410c4b57","first_computed_at":"2026-05-18T01:21:09.218276Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:09.218276Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/qoCvwJgctWAN1TI7uDuOqXgyryC1t5R08CR1GWTNGH/PJFI/H/dBCP/fuVPJlR6BZHY57IiBJW3pRdvliZaCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:09.218840Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.02667","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce156def190741340a7d156921b6f7ead039a2fc32974ee3f6480be2232b120f","sha256:e063f21d06dcfd7f9d153856767004bb18634b856eefd926edf0c38169904c9d"],"state_sha256":"c06c2c6d86673bddd7ed12b5f08c81ed490137e4df174e89c0f0598ac5c821ae"}