{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:HLIC456WIIICEO2YPGFRUH6FMN","short_pith_number":"pith:HLIC456W","canonical_record":{"source":{"id":"1603.00978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-03T05:34:10Z","cross_cats_sorted":[],"title_canon_sha256":"a8ccec7837b001bb7065b058eedf49147a4d531bf5afcd7c360ca27e98e29269","abstract_canon_sha256":"d0ba72568f36e6a9a1f6fb78f8f74d5987af0b70ff86f9ee0d8d8c5197f758a4"},"schema_version":"1.0"},"canonical_sha256":"3ad02e77d64210223b58798b1a1fc563636d7443e0dcef69167fd44ad0d22917","source":{"kind":"arxiv","id":"1603.00978","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.00978","created_at":"2026-05-18T01:19:39Z"},{"alias_kind":"arxiv_version","alias_value":"1603.00978v1","created_at":"2026-05-18T01:19:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.00978","created_at":"2026-05-18T01:19:39Z"},{"alias_kind":"pith_short_12","alias_value":"HLIC456WIIIC","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HLIC456WIIICEO2Y","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HLIC456W","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:HLIC456WIIICEO2YPGFRUH6FMN","target":"record","payload":{"canonical_record":{"source":{"id":"1603.00978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-03T05:34:10Z","cross_cats_sorted":[],"title_canon_sha256":"a8ccec7837b001bb7065b058eedf49147a4d531bf5afcd7c360ca27e98e29269","abstract_canon_sha256":"d0ba72568f36e6a9a1f6fb78f8f74d5987af0b70ff86f9ee0d8d8c5197f758a4"},"schema_version":"1.0"},"canonical_sha256":"3ad02e77d64210223b58798b1a1fc563636d7443e0dcef69167fd44ad0d22917","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:39.945147Z","signature_b64":"1ofJZ9pZCgvdTgkdyGnRQn0FZW+Fu5kuJvsqpIEocm0t+UtyfzpwSl6OZtCNNchSAu61bZKIqQduLB39X1S/Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ad02e77d64210223b58798b1a1fc563636d7443e0dcef69167fd44ad0d22917","last_reissued_at":"2026-05-18T01:19:39.944475Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:39.944475Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.00978","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:19:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rBoM+PLrRSnB+7qgxlrFlmLPJpTuMBtcXCHV6S5ICw+aML3ILC3zdQ/VL8w6KOFbEaAfDPw9zCR04fm4mHhkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:57:40.423174Z"},"content_sha256":"10961e3ccf54c8800872e09457e9d52122b439fedf27349106bfd1173cb3fb0a","schema_version":"1.0","event_id":"sha256:10961e3ccf54c8800872e09457e9d52122b439fedf27349106bfd1173cb3fb0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:HLIC456WIIICEO2YPGFRUH6FMN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finiteness and Computation in Toposes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Edward Hermann Haeusler (PUC-Rio)","submitted_at":"2016-03-03T05:34:10Z","abstract_excerpt":"Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem, that there are first-order models where the set of real numbers is countable and some where it is not. This fact depends on the position of the observer and on the instrument/language the obserevr uses as well, i.e., it depends on whether he/she is inside the model or not and in this particular case the use of first-order logic.  In this article, we assume  th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.00978","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:19:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wBb80C1rOp8gs5MC5avuI8Nv1lPZQKo62pP+vUz/xMT6KlLBAdZ+s/NWtKeYIPTvfgcl2nI0fn/ifjFyeOsmAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:57:40.423539Z"},"content_sha256":"f4267e4b862d6f4ff0659024efcc8a0f86b1f281167fb02ad0c7a1f239a2f446","schema_version":"1.0","event_id":"sha256:f4267e4b862d6f4ff0659024efcc8a0f86b1f281167fb02ad0c7a1f239a2f446"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HLIC456WIIICEO2YPGFRUH6FMN/bundle.json","state_url":"https://pith.science/pith/HLIC456WIIICEO2YPGFRUH6FMN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HLIC456WIIICEO2YPGFRUH6FMN/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-24T04:57:40Z","links":{"resolver":"https://pith.science/pith/HLIC456WIIICEO2YPGFRUH6FMN","bundle":"https://pith.science/pith/HLIC456WIIICEO2YPGFRUH6FMN/bundle.json","state":"https://pith.science/pith/HLIC456WIIICEO2YPGFRUH6FMN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HLIC456WIIICEO2YPGFRUH6FMN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HLIC456WIIICEO2YPGFRUH6FMN","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":"d0ba72568f36e6a9a1f6fb78f8f74d5987af0b70ff86f9ee0d8d8c5197f758a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-03T05:34:10Z","title_canon_sha256":"a8ccec7837b001bb7065b058eedf49147a4d531bf5afcd7c360ca27e98e29269"},"schema_version":"1.0","source":{"id":"1603.00978","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.00978","created_at":"2026-05-18T01:19:39Z"},{"alias_kind":"arxiv_version","alias_value":"1603.00978v1","created_at":"2026-05-18T01:19:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.00978","created_at":"2026-05-18T01:19:39Z"},{"alias_kind":"pith_short_12","alias_value":"HLIC456WIIIC","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HLIC456WIIICEO2Y","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HLIC456W","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:f4267e4b862d6f4ff0659024efcc8a0f86b1f281167fb02ad0c7a1f239a2f446","target":"graph","created_at":"2026-05-18T01:19:39Z","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":"Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem, that there are first-order models where the set of real numbers is countable and some where it is not. This fact depends on the position of the observer and on the instrument/language the obserevr uses as well, i.e., it depends on whether he/she is inside the model or not and in this particular case the use of first-order logic.  In this article, we assume  th","authors_text":"Edward Hermann Haeusler (PUC-Rio)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-03T05:34:10Z","title":"Finiteness and Computation in Toposes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.00978","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:10961e3ccf54c8800872e09457e9d52122b439fedf27349106bfd1173cb3fb0a","target":"record","created_at":"2026-05-18T01:19:39Z","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":"d0ba72568f36e6a9a1f6fb78f8f74d5987af0b70ff86f9ee0d8d8c5197f758a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-03T05:34:10Z","title_canon_sha256":"a8ccec7837b001bb7065b058eedf49147a4d531bf5afcd7c360ca27e98e29269"},"schema_version":"1.0","source":{"id":"1603.00978","kind":"arxiv","version":1}},"canonical_sha256":"3ad02e77d64210223b58798b1a1fc563636d7443e0dcef69167fd44ad0d22917","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ad02e77d64210223b58798b1a1fc563636d7443e0dcef69167fd44ad0d22917","first_computed_at":"2026-05-18T01:19:39.944475Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:39.944475Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1ofJZ9pZCgvdTgkdyGnRQn0FZW+Fu5kuJvsqpIEocm0t+UtyfzpwSl6OZtCNNchSAu61bZKIqQduLB39X1S/Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:39.945147Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.00978","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10961e3ccf54c8800872e09457e9d52122b439fedf27349106bfd1173cb3fb0a","sha256:f4267e4b862d6f4ff0659024efcc8a0f86b1f281167fb02ad0c7a1f239a2f446"],"state_sha256":"3c3415cf6dcd8df7a3ccfe92cbcf678da7a0ed05a30322c1252a3ef27d6cbae7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/pj2g+uQ8+HAQIT/Elj3bjnzAJPdc4nLZYZOn7s9K8FNtpxPjy3PNVQHJHg8XKllHAMu7pPWyvup84KIb2YsBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T04:57:40.425952Z","bundle_sha256":"65ab1604eb245daec2691a9565b245b469c760ebe5089e11b57c01f960f408c7"}}