{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KKYSVDUXKLFOZKFCUNGVNSDVGX","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":"4d37c9d1a50bc78184b554f2214cb3cb5966fc12c148cabf6ba22a4d9ced3885","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-01-19T15:32:49Z","title_canon_sha256":"8c63447fede5cd036327c27429452acc033cccc280db179bc0d4369764b87461"},"schema_version":"1.0","source":{"id":"1701.05474","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05474","created_at":"2026-05-18T00:52:29Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05474v1","created_at":"2026-05-18T00:52:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05474","created_at":"2026-05-18T00:52:29Z"},{"alias_kind":"pith_short_12","alias_value":"KKYSVDUXKLFO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KKYSVDUXKLFOZKFC","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KKYSVDUX","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:5300b7814bef3dbfce4f8eda456e5fb687229d80fde60b819c865cca67c1d3b6","target":"graph","created_at":"2026-05-18T00:52: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":"We study classes of atomic models At_T of a countable, complete first-order theory T . We prove that if At_T is not pcl-small, i.e., there is an atomic model N that realizes uncountably many types over pcl(a) for some finite tuple a from N, then there are 2^aleph1 non-isomorphic atomic models of T, each of size aleph1.","authors_text":"Michael C. Laskowski, Saharon Shelah","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-01-19T15:32:49Z","title":"A strong failure of aleph_0-stability for atomic classes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05474","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:c85568643bb541bd74debfac52c21aaa3742ee46d25b370052ddac6bb7594d2c","target":"record","created_at":"2026-05-18T00:52: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":"4d37c9d1a50bc78184b554f2214cb3cb5966fc12c148cabf6ba22a4d9ced3885","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-01-19T15:32:49Z","title_canon_sha256":"8c63447fede5cd036327c27429452acc033cccc280db179bc0d4369764b87461"},"schema_version":"1.0","source":{"id":"1701.05474","kind":"arxiv","version":1}},"canonical_sha256":"52b12a8e9752caeca8a2a34d56c87535d29ebf97784087fbea62cc02db011dc5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"52b12a8e9752caeca8a2a34d56c87535d29ebf97784087fbea62cc02db011dc5","first_computed_at":"2026-05-18T00:52:29.767377Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:29.767377Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SE1XCziDOELD9fIT2Ci674YU0sXNhrATObwGlWJ1c2lZZhAZhqp84r17DzvMI0oflys4VQpPymdosSn5JGFHDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:29.768035Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.05474","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c85568643bb541bd74debfac52c21aaa3742ee46d25b370052ddac6bb7594d2c","sha256:5300b7814bef3dbfce4f8eda456e5fb687229d80fde60b819c865cca67c1d3b6"],"state_sha256":"344b41e4980babd336ac06849b9f5bf54ec4ca0a0898fbb03e592213133686f0"}