{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:LJ774KTNQOHDYXFN6LSMGNKIYA","short_pith_number":"pith:LJ774KTN","canonical_record":{"source":{"id":"1603.09224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2016-03-30T14:47:52Z","cross_cats_sorted":[],"title_canon_sha256":"b58711deabc6eceeb344653f2dc6b1c127022bc3b3e02ef4388f7852d19c6b1c","abstract_canon_sha256":"0d8893a761c8d5835b48903a4201ebb6bba534d0d7579181b32cc959a114ea8d"},"schema_version":"1.0"},"canonical_sha256":"5a7ffe2a6d838e3c5cadf2e4c33548c01fb28d669c3638961feaad0f9dea43cf","source":{"kind":"arxiv","id":"1603.09224","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.09224","created_at":"2026-05-18T01:18:01Z"},{"alias_kind":"arxiv_version","alias_value":"1603.09224v1","created_at":"2026-05-18T01:18:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.09224","created_at":"2026-05-18T01:18:01Z"},{"alias_kind":"pith_short_12","alias_value":"LJ774KTNQOHD","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LJ774KTNQOHDYXFN","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LJ774KTN","created_at":"2026-05-18T12:30:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:LJ774KTNQOHDYXFN6LSMGNKIYA","target":"record","payload":{"canonical_record":{"source":{"id":"1603.09224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2016-03-30T14:47:52Z","cross_cats_sorted":[],"title_canon_sha256":"b58711deabc6eceeb344653f2dc6b1c127022bc3b3e02ef4388f7852d19c6b1c","abstract_canon_sha256":"0d8893a761c8d5835b48903a4201ebb6bba534d0d7579181b32cc959a114ea8d"},"schema_version":"1.0"},"canonical_sha256":"5a7ffe2a6d838e3c5cadf2e4c33548c01fb28d669c3638961feaad0f9dea43cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:01.097560Z","signature_b64":"f3/vHWBZU+FUuMb3JB4wVN042hc3TtGnXR9ji7Gm/ayJSa0oQ3oP/beJwzFQRIhuTZVDsavOPoDiP9DBJgs+Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a7ffe2a6d838e3c5cadf2e4c33548c01fb28d669c3638961feaad0f9dea43cf","last_reissued_at":"2026-05-18T01:18:01.096866Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:01.096866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.09224","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-18T01:18:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D0dPgUZkdBW9S1j5KUzPVCnEpaJ5jcGZ9c+8EtVa+GCkOSiu2NtN//6aX9hLGuY9EoMgfCg9Knocmbpw0cYGAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:34:10.651726Z"},"content_sha256":"97358b40c8146c034c4683dd68c3fd4fcb23765f5ef4ffdbd51e02a2867fecc6","schema_version":"1.0","event_id":"sha256:97358b40c8146c034c4683dd68c3fd4fcb23765f5ef4ffdbd51e02a2867fecc6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:LJ774KTNQOHDYXFN6LSMGNKIYA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convergences and the Intermediate Value Property in Fermat Reals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CA","authors_text":"Enxin Wu","submitted_at":"2016-03-30T14:47:52Z","abstract_excerpt":"This paper contains two topics of Fermat reals, as suggested by the title. In the first part, we study the \\omega-topology, the order topology and the Euclidean topology on Fermat reals, and their convergence properties, with emphasis on the relationship with the convergence of sequences of ordinary smooth functions. We show that the Euclidean topology is best for this relationship with respect to pointwise convergence, and Lebesgue dominated convergence does not hold, among all additive Hausdorff topologies on Fermat reals. In the second part, we study the intermediate value property of quasi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.09224","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-18T01:18:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N5JutltcLHdQTHy+Ml/Qcozs1ILGpbre8UTM22+Hz3xHwz5RPBHjWJNM/giwilNAlrCekcDNh69f0c7Izc6sAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:34:10.652060Z"},"content_sha256":"8015786104f51e6dac9351271108233893deb7c406e22f143cbc0d05631f0100","schema_version":"1.0","event_id":"sha256:8015786104f51e6dac9351271108233893deb7c406e22f143cbc0d05631f0100"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LJ774KTNQOHDYXFN6LSMGNKIYA/bundle.json","state_url":"https://pith.science/pith/LJ774KTNQOHDYXFN6LSMGNKIYA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LJ774KTNQOHDYXFN6LSMGNKIYA/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-08T22:34:10Z","links":{"resolver":"https://pith.science/pith/LJ774KTNQOHDYXFN6LSMGNKIYA","bundle":"https://pith.science/pith/LJ774KTNQOHDYXFN6LSMGNKIYA/bundle.json","state":"https://pith.science/pith/LJ774KTNQOHDYXFN6LSMGNKIYA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LJ774KTNQOHDYXFN6LSMGNKIYA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:LJ774KTNQOHDYXFN6LSMGNKIYA","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":"0d8893a761c8d5835b48903a4201ebb6bba534d0d7579181b32cc959a114ea8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2016-03-30T14:47:52Z","title_canon_sha256":"b58711deabc6eceeb344653f2dc6b1c127022bc3b3e02ef4388f7852d19c6b1c"},"schema_version":"1.0","source":{"id":"1603.09224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.09224","created_at":"2026-05-18T01:18:01Z"},{"alias_kind":"arxiv_version","alias_value":"1603.09224v1","created_at":"2026-05-18T01:18:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.09224","created_at":"2026-05-18T01:18:01Z"},{"alias_kind":"pith_short_12","alias_value":"LJ774KTNQOHD","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LJ774KTNQOHDYXFN","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LJ774KTN","created_at":"2026-05-18T12:30:29Z"}],"graph_snapshots":[{"event_id":"sha256:8015786104f51e6dac9351271108233893deb7c406e22f143cbc0d05631f0100","target":"graph","created_at":"2026-05-18T01:18:01Z","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 contains two topics of Fermat reals, as suggested by the title. In the first part, we study the \\omega-topology, the order topology and the Euclidean topology on Fermat reals, and their convergence properties, with emphasis on the relationship with the convergence of sequences of ordinary smooth functions. We show that the Euclidean topology is best for this relationship with respect to pointwise convergence, and Lebesgue dominated convergence does not hold, among all additive Hausdorff topologies on Fermat reals. In the second part, we study the intermediate value property of quasi","authors_text":"Enxin Wu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2016-03-30T14:47:52Z","title":"Convergences and the Intermediate Value Property in Fermat Reals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.09224","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:97358b40c8146c034c4683dd68c3fd4fcb23765f5ef4ffdbd51e02a2867fecc6","target":"record","created_at":"2026-05-18T01:18:01Z","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":"0d8893a761c8d5835b48903a4201ebb6bba534d0d7579181b32cc959a114ea8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2016-03-30T14:47:52Z","title_canon_sha256":"b58711deabc6eceeb344653f2dc6b1c127022bc3b3e02ef4388f7852d19c6b1c"},"schema_version":"1.0","source":{"id":"1603.09224","kind":"arxiv","version":1}},"canonical_sha256":"5a7ffe2a6d838e3c5cadf2e4c33548c01fb28d669c3638961feaad0f9dea43cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a7ffe2a6d838e3c5cadf2e4c33548c01fb28d669c3638961feaad0f9dea43cf","first_computed_at":"2026-05-18T01:18:01.096866Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:01.096866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f3/vHWBZU+FUuMb3JB4wVN042hc3TtGnXR9ji7Gm/ayJSa0oQ3oP/beJwzFQRIhuTZVDsavOPoDiP9DBJgs+Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:01.097560Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.09224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:97358b40c8146c034c4683dd68c3fd4fcb23765f5ef4ffdbd51e02a2867fecc6","sha256:8015786104f51e6dac9351271108233893deb7c406e22f143cbc0d05631f0100"],"state_sha256":"ba05e36c795a310f137a9fcf0b9fce2667cdffee5856d49f88efc4305c34ce9c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hz3qwKhHTHz0A3piiOmy2f7aK8frc8/iFgmTZ9ythe2UrNGjzxA63IHG6RCaOo9vapD3RMYofNUc2wiYIKYXAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T22:34:10.653857Z","bundle_sha256":"8bd979724cd63d95a1def2f635bf26f1e471f7b3bec8ae3df4093a7b46f03112"}}