{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UEJP5K7HYN4T4ODQ3OB66XRGFK","short_pith_number":"pith:UEJP5K7H","canonical_record":{"source":{"id":"1401.3326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-01-14T20:40:44Z","cross_cats_sorted":[],"title_canon_sha256":"466a05ae72f0007f8dfb11ba0325e213bfab24d8dfc4488385c524b459f98c8f","abstract_canon_sha256":"ab7c0d2247dca3a41507edf21d883f84a637a46a50690ad90bf03ea2d9ea7a0c"},"schema_version":"1.0"},"canonical_sha256":"a112feabe7c3793e3870db83ef5e262ab104b50b2648baa8371061293932b400","source":{"kind":"arxiv","id":"1401.3326","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3326","created_at":"2026-05-18T03:02:18Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3326v1","created_at":"2026-05-18T03:02:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3326","created_at":"2026-05-18T03:02:18Z"},{"alias_kind":"pith_short_12","alias_value":"UEJP5K7HYN4T","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UEJP5K7HYN4T4ODQ","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UEJP5K7H","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UEJP5K7HYN4T4ODQ3OB66XRGFK","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-01-14T20:40:44Z","cross_cats_sorted":[],"title_canon_sha256":"466a05ae72f0007f8dfb11ba0325e213bfab24d8dfc4488385c524b459f98c8f","abstract_canon_sha256":"ab7c0d2247dca3a41507edf21d883f84a637a46a50690ad90bf03ea2d9ea7a0c"},"schema_version":"1.0"},"canonical_sha256":"a112feabe7c3793e3870db83ef5e262ab104b50b2648baa8371061293932b400","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:18.767066Z","signature_b64":"zqN9QNVXJzUjKmzT3Q5DobYnC1oDX9VKrQHxs5q/iSsJNxC9DyM1KZGnYApcnOCZ4d2Ftj6/DDCZsfNLyDuzBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a112feabe7c3793e3870db83ef5e262ab104b50b2648baa8371061293932b400","last_reissued_at":"2026-05-18T03:02:18.766207Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:18.766207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3326","source_version":1,"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-18T03:02:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FBamViRmKxhpi2YkUYEdH/TqYfkP6/AR5V5ZVhzwYjT5ySLhrT2fq+MDsegmgdV4WTqYcW4LgRx0k9J5dOHRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:42:31.366395Z"},"content_sha256":"83fd93183c7fefebca68c861c528043239bb11aac8e5a42e3906b0908ec10381","schema_version":"1.0","event_id":"sha256:83fd93183c7fefebca68c861c528043239bb11aac8e5a42e3906b0908ec10381"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UEJP5K7HYN4T4ODQ3OB66XRGFK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Natural models of theories of green points","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Boris Zilber, Juan Diego Caycedo","submitted_at":"2014-01-14T20:40:44Z","abstract_excerpt":"We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\\mathbb{R}$. In fact, in both cases we give families of structures depending on parameters and prove that they are all models of the theories, provided certain instances of Schanuel's conjecture or an analogous conjecture for the exponential map of the elliptic curve hold. In the multiplicative group case, however, the results are unconditional for generic choices of the paramete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3326","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":""},"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-18T03:02:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OVt1k8FQ737xg0KIHWfub2Wsy2X7BeCwHT4aK3XWxnJfHWLpVjqRmruIpz6bo1D49z9xHh8iCF5cz7/8FwSBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:42:31.366750Z"},"content_sha256":"7252f32bc90b0048698d2a1b0e20f301d8400cfe413d728147342861bbc06d79","schema_version":"1.0","event_id":"sha256:7252f32bc90b0048698d2a1b0e20f301d8400cfe413d728147342861bbc06d79"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK/bundle.json","state_url":"https://pith.science/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK/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-06-02T21:42:31Z","links":{"resolver":"https://pith.science/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK","bundle":"https://pith.science/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK/bundle.json","state":"https://pith.science/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UEJP5K7HYN4T4ODQ3OB66XRGFK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UEJP5K7HYN4T4ODQ3OB66XRGFK","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":"ab7c0d2247dca3a41507edf21d883f84a637a46a50690ad90bf03ea2d9ea7a0c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-01-14T20:40:44Z","title_canon_sha256":"466a05ae72f0007f8dfb11ba0325e213bfab24d8dfc4488385c524b459f98c8f"},"schema_version":"1.0","source":{"id":"1401.3326","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3326","created_at":"2026-05-18T03:02:18Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3326v1","created_at":"2026-05-18T03:02:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3326","created_at":"2026-05-18T03:02:18Z"},{"alias_kind":"pith_short_12","alias_value":"UEJP5K7HYN4T","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UEJP5K7HYN4T4ODQ","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UEJP5K7H","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:7252f32bc90b0048698d2a1b0e20f301d8400cfe413d728147342861bbc06d79","target":"graph","created_at":"2026-05-18T03:02: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":"We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\\mathbb{R}$. In fact, in both cases we give families of structures depending on parameters and prove that they are all models of the theories, provided certain instances of Schanuel's conjecture or an analogous conjecture for the exponential map of the elliptic curve hold. In the multiplicative group case, however, the results are unconditional for generic choices of the paramete","authors_text":"Boris Zilber, Juan Diego Caycedo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-01-14T20:40:44Z","title":"Natural models of theories of green points"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3326","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:83fd93183c7fefebca68c861c528043239bb11aac8e5a42e3906b0908ec10381","target":"record","created_at":"2026-05-18T03:02: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":"ab7c0d2247dca3a41507edf21d883f84a637a46a50690ad90bf03ea2d9ea7a0c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-01-14T20:40:44Z","title_canon_sha256":"466a05ae72f0007f8dfb11ba0325e213bfab24d8dfc4488385c524b459f98c8f"},"schema_version":"1.0","source":{"id":"1401.3326","kind":"arxiv","version":1}},"canonical_sha256":"a112feabe7c3793e3870db83ef5e262ab104b50b2648baa8371061293932b400","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a112feabe7c3793e3870db83ef5e262ab104b50b2648baa8371061293932b400","first_computed_at":"2026-05-18T03:02:18.766207Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:18.766207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zqN9QNVXJzUjKmzT3Q5DobYnC1oDX9VKrQHxs5q/iSsJNxC9DyM1KZGnYApcnOCZ4d2Ftj6/DDCZsfNLyDuzBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:18.767066Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3326","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83fd93183c7fefebca68c861c528043239bb11aac8e5a42e3906b0908ec10381","sha256:7252f32bc90b0048698d2a1b0e20f301d8400cfe413d728147342861bbc06d79"],"state_sha256":"611b508a75e26f71a5ea07f00c528e11aaa44dbeca259eac32f7af860e2fd2e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k8A4TP5BJA5EbYD722rMLInQZ4MM6xIXw9Q7xZzLlBob3SEuj6kSlleE+V4rmBDF9dsaFZ10MjXVV6wtWZXdCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:42:31.368995Z","bundle_sha256":"2c09c2df3b1ff1da9778de99c13365651b6f116d792284eb4ba6b1a55e88c066"}}