{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2002:BBSADM62IWQMFFK2RMGD5W6OXE","short_pith_number":"pith:BBSADM62","canonical_record":{"source":{"id":"math/0209408","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2002-09-30T14:44:53Z","cross_cats_sorted":[],"title_canon_sha256":"953e14b6d7b4788edcf27bf1ec899e5428f91d4e49780ec114d52fb36b2126b4","abstract_canon_sha256":"dda2910cc490f24f3480a1324b1983ee03df2ef8bee671b9b3fe95622ead6c4d"},"schema_version":"1.0"},"canonical_sha256":"086401b3da45a0c2955a8b0c3edbceb93d841cc08ae2b595e93d102255e7af91","source":{"kind":"arxiv","id":"math/0209408","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0209408","created_at":"2026-05-18T01:05:29Z"},{"alias_kind":"arxiv_version","alias_value":"math/0209408v1","created_at":"2026-05-18T01:05:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0209408","created_at":"2026-05-18T01:05:29Z"},{"alias_kind":"pith_short_12","alias_value":"BBSADM62IWQM","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_16","alias_value":"BBSADM62IWQMFFK2","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_8","alias_value":"BBSADM62","created_at":"2026-05-18T12:25:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2002:BBSADM62IWQMFFK2RMGD5W6OXE","target":"record","payload":{"canonical_record":{"source":{"id":"math/0209408","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2002-09-30T14:44:53Z","cross_cats_sorted":[],"title_canon_sha256":"953e14b6d7b4788edcf27bf1ec899e5428f91d4e49780ec114d52fb36b2126b4","abstract_canon_sha256":"dda2910cc490f24f3480a1324b1983ee03df2ef8bee671b9b3fe95622ead6c4d"},"schema_version":"1.0"},"canonical_sha256":"086401b3da45a0c2955a8b0c3edbceb93d841cc08ae2b595e93d102255e7af91","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:05:29.353171Z","signature_b64":"8siQfp06ozd32oWnsxr+7axwwHnyjuCMboJrdiS57+i3JAg3ICleykrSgSx0sj+HMvszctPLODotZAojzqMBCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"086401b3da45a0c2955a8b0c3edbceb93d841cc08ae2b595e93d102255e7af91","last_reissued_at":"2026-05-18T01:05:29.352601Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:05:29.352601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0209408","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:05:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HrsEW/FRi51kuR/bJyxxnssWWtn/OWoZa6wev3buQl/SFSmNlYdxrGHSq+yGcOWS9L8n4mNaRBfx9jyEky0lCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T07:35:28.506916Z"},"content_sha256":"0528471df79ac71d6259a189df04d7c53e497f9720c8f5d3d3cfdd1a21be9ae8","schema_version":"1.0","event_id":"sha256:0528471df79ac71d6259a189df04d7c53e497f9720c8f5d3d3cfdd1a21be9ae8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2002:BBSADM62IWQMFFK2RMGD5W6OXE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Satisfaction classes in nonstandard models of first-order arithmetic","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Fredrik Engstr\\\"om","submitted_at":"2002-09-30T14:44:53Z","abstract_excerpt":"A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively saturated. A proof of this fact is presented in detail in such a way that it is adaptable to a language with function symbols. The idea that a satisfaction class can only see finitely deep in a formula is extended to terms. The definition gives r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0209408","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:05:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6zhivfyc9Pr/Z5kbnK+MTtBl/8FsiBNaLDzA2SOu9te3kWqZAFqvBLxn8cfy4bgx+secqj7atqxvacmn2oOQCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T07:35:28.507253Z"},"content_sha256":"c3c97dd71588d3305030cfe1ea48629dcdb8e0eb1c1d285b9d800c2b7d7153cf","schema_version":"1.0","event_id":"sha256:c3c97dd71588d3305030cfe1ea48629dcdb8e0eb1c1d285b9d800c2b7d7153cf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BBSADM62IWQMFFK2RMGD5W6OXE/bundle.json","state_url":"https://pith.science/pith/BBSADM62IWQMFFK2RMGD5W6OXE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BBSADM62IWQMFFK2RMGD5W6OXE/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-07-04T07:35:28Z","links":{"resolver":"https://pith.science/pith/BBSADM62IWQMFFK2RMGD5W6OXE","bundle":"https://pith.science/pith/BBSADM62IWQMFFK2RMGD5W6OXE/bundle.json","state":"https://pith.science/pith/BBSADM62IWQMFFK2RMGD5W6OXE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BBSADM62IWQMFFK2RMGD5W6OXE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2002:BBSADM62IWQMFFK2RMGD5W6OXE","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":"dda2910cc490f24f3480a1324b1983ee03df2ef8bee671b9b3fe95622ead6c4d","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"2002-09-30T14:44:53Z","title_canon_sha256":"953e14b6d7b4788edcf27bf1ec899e5428f91d4e49780ec114d52fb36b2126b4"},"schema_version":"1.0","source":{"id":"math/0209408","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0209408","created_at":"2026-05-18T01:05:29Z"},{"alias_kind":"arxiv_version","alias_value":"math/0209408v1","created_at":"2026-05-18T01:05:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0209408","created_at":"2026-05-18T01:05:29Z"},{"alias_kind":"pith_short_12","alias_value":"BBSADM62IWQM","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_16","alias_value":"BBSADM62IWQMFFK2","created_at":"2026-05-18T12:25:50Z"},{"alias_kind":"pith_short_8","alias_value":"BBSADM62","created_at":"2026-05-18T12:25:50Z"}],"graph_snapshots":[{"event_id":"sha256:c3c97dd71588d3305030cfe1ea48629dcdb8e0eb1c1d285b9d800c2b7d7153cf","target":"graph","created_at":"2026-05-18T01:05:29Z","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":"A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively saturated. A proof of this fact is presented in detail in such a way that it is adaptable to a language with function symbols. The idea that a satisfaction class can only see finitely deep in a formula is extended to terms. The definition gives r","authors_text":"Fredrik Engstr\\\"om","cross_cats":[],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"2002-09-30T14:44:53Z","title":"Satisfaction classes in nonstandard models of first-order arithmetic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0209408","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:0528471df79ac71d6259a189df04d7c53e497f9720c8f5d3d3cfdd1a21be9ae8","target":"record","created_at":"2026-05-18T01:05:29Z","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":"dda2910cc490f24f3480a1324b1983ee03df2ef8bee671b9b3fe95622ead6c4d","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"2002-09-30T14:44:53Z","title_canon_sha256":"953e14b6d7b4788edcf27bf1ec899e5428f91d4e49780ec114d52fb36b2126b4"},"schema_version":"1.0","source":{"id":"math/0209408","kind":"arxiv","version":1}},"canonical_sha256":"086401b3da45a0c2955a8b0c3edbceb93d841cc08ae2b595e93d102255e7af91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"086401b3da45a0c2955a8b0c3edbceb93d841cc08ae2b595e93d102255e7af91","first_computed_at":"2026-05-18T01:05:29.352601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:05:29.352601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8siQfp06ozd32oWnsxr+7axwwHnyjuCMboJrdiS57+i3JAg3ICleykrSgSx0sj+HMvszctPLODotZAojzqMBCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:05:29.353171Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0209408","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0528471df79ac71d6259a189df04d7c53e497f9720c8f5d3d3cfdd1a21be9ae8","sha256:c3c97dd71588d3305030cfe1ea48629dcdb8e0eb1c1d285b9d800c2b7d7153cf"],"state_sha256":"3ea949d3b7f49037c7dc119287d52b97d7fe5ea35aaa972f2fd9db8c5bf72054"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bidv95dtlcXe51fTt/ok3gUd3j+nknNGlIHs2rvZaCJKOCRrxzmTqJ7IIpAhff1Y7ulhYtc0DnXKwcP5g4hPDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T07:35:28.509333Z","bundle_sha256":"8fdcc65e6797e63dccae608297156e10fe7f08dadd72d16768b217ab36e810f4"}}