{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:4DQTYT4T5FNM46S7A7FMXJX2HB","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":"ee468573b62ac90b8cb7aaec358f3b5e9bef17e9eed3e68d96968d090d0aca97","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-12-26T17:05:20Z","title_canon_sha256":"f8121b19defb63e1812044000eb9c86eeafac5300f9b31d63dd1f9acf33f50bc"},"schema_version":"1.0","source":{"id":"1212.6213","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.6213","created_at":"2026-05-18T03:27:52Z"},{"alias_kind":"arxiv_version","alias_value":"1212.6213v2","created_at":"2026-05-18T03:27:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.6213","created_at":"2026-05-18T03:27:52Z"},{"alias_kind":"pith_short_12","alias_value":"4DQTYT4T5FNM","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4DQTYT4T5FNM46S7","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4DQTYT4T","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:1fb50143d3fde77427c08e89527860391a8997fe5ccfe709fe0cee1d4d6bebe5","target":"graph","created_at":"2026-05-18T03:27:52Z","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":"NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adics and certain valued difference fields (such as a non-standard Frobenius automorphism living on an algebraically closed valued field of characteristic 0). In this note we present some results on groups and fields definable in NTP2 structures. Most importantly, we isolate a chain condition for definable normal subgroups and use it to show that any NTP2 field has only finitely many Artin-Schreier extensions. We also d","authors_text":"Artem Chernikov, Itay Kaplan, Pierre Simon","cross_cats":["math.AC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-12-26T17:05:20Z","title":"Groups and fields with NTP2"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.6213","kind":"arxiv","version":2},"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:98a1c8380f307a75c51415e0e4d426ae9432360e3fd82e171557f76f1afbcf17","target":"record","created_at":"2026-05-18T03:27:52Z","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":"ee468573b62ac90b8cb7aaec358f3b5e9bef17e9eed3e68d96968d090d0aca97","cross_cats_sorted":["math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-12-26T17:05:20Z","title_canon_sha256":"f8121b19defb63e1812044000eb9c86eeafac5300f9b31d63dd1f9acf33f50bc"},"schema_version":"1.0","source":{"id":"1212.6213","kind":"arxiv","version":2}},"canonical_sha256":"e0e13c4f93e95ace7a5f07cacba6fa384f78fe84857a292f342446ccc4d547c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e0e13c4f93e95ace7a5f07cacba6fa384f78fe84857a292f342446ccc4d547c6","first_computed_at":"2026-05-18T03:27:52.162034Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:52.162034Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RG3KI+z1OibhwmmKFX951GURSVdVYQ7PvpWL5Mq7uzKiQx4ts0gTfmoooRGq1jRcn+5HY1MA+ksl0axplqO7Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:52.162585Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.6213","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98a1c8380f307a75c51415e0e4d426ae9432360e3fd82e171557f76f1afbcf17","sha256:1fb50143d3fde77427c08e89527860391a8997fe5ccfe709fe0cee1d4d6bebe5"],"state_sha256":"45a9cca3898ec30fe25d23fe95daea8cacb769f87d2deb29960b1351b781d002"}