{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:YG4KREBVSB5VKOD2SWK7WPMCGM","short_pith_number":"pith:YG4KREBV","schema_version":"1.0","canonical_sha256":"c1b8a89035907b55387a9595fb3d82330e2538e2a01c7b4aa3776ce728bba8f0","source":{"kind":"arxiv","id":"1612.02142","version":2},"attestation_state":"computed","paper":{"title":"Imaginaries in separably closed valued fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Martin Hils, Moshe Kamensky, Silvain Rideau","submitted_at":"2016-12-07T08:17:21Z","abstract_excerpt":"We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1612.02142","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-12-07T08:17:21Z","cross_cats_sorted":[],"title_canon_sha256":"1d06f7226602174e3b2b2a73dbd345968db25652896605269f61aadd43604d83","abstract_canon_sha256":"c3cec4fbb45dadb8ae7a8afaf14a684b6a13c59548e6efb0214d8533d7b85d1e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:40.434165Z","signature_b64":"CzYHmtN+zwP710D0eLrnkXSK8foqOsc2T8QUc3gbFWvSnd0GF7oDLEkfvsdNdDBma5I7gX6IXaiD4FzqTcJMCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1b8a89035907b55387a9595fb3d82330e2538e2a01c7b4aa3776ce728bba8f0","last_reissued_at":"2026-05-18T00:23:40.433428Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:40.433428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Imaginaries in separably closed valued fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Martin Hils, Moshe Kamensky, Silvain Rideau","submitted_at":"2016-12-07T08:17:21Z","abstract_excerpt":"We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.02142","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1612.02142","created_at":"2026-05-18T00:23:40.433578+00:00"},{"alias_kind":"arxiv_version","alias_value":"1612.02142v2","created_at":"2026-05-18T00:23:40.433578+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.02142","created_at":"2026-05-18T00:23:40.433578+00:00"},{"alias_kind":"pith_short_12","alias_value":"YG4KREBVSB5V","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_16","alias_value":"YG4KREBVSB5VKOD2","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_8","alias_value":"YG4KREBV","created_at":"2026-05-18T12:30:53.716459+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM","json":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM.json","graph_json":"https://pith.science/api/pith-number/YG4KREBVSB5VKOD2SWK7WPMCGM/graph.json","events_json":"https://pith.science/api/pith-number/YG4KREBVSB5VKOD2SWK7WPMCGM/events.json","paper":"https://pith.science/paper/YG4KREBV"},"agent_actions":{"view_html":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM","download_json":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM.json","view_paper":"https://pith.science/paper/YG4KREBV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1612.02142&json=true","fetch_graph":"https://pith.science/api/pith-number/YG4KREBVSB5VKOD2SWK7WPMCGM/graph.json","fetch_events":"https://pith.science/api/pith-number/YG4KREBVSB5VKOD2SWK7WPMCGM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM/action/storage_attestation","attest_author":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM/action/author_attestation","sign_citation":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM/action/citation_signature","submit_replication":"https://pith.science/pith/YG4KREBVSB5VKOD2SWK7WPMCGM/action/replication_record"}},"created_at":"2026-05-18T00:23:40.433578+00:00","updated_at":"2026-05-18T00:23:40.433578+00:00"}