{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:GSF7BLD7TLRVWB2CWB66GTY4WR","short_pith_number":"pith:GSF7BLD7","schema_version":"1.0","canonical_sha256":"348bf0ac7f9ae35b0742b07de34f1cb447826706b060284f6ce6bba737d9fea0","source":{"kind":"arxiv","id":"1304.0194","version":2},"attestation_state":"computed","paper":{"title":"The algebra and model theory of tame valued fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Franz-Viktor Kuhlmann","submitted_at":"2013-03-31T12:47:13Z","abstract_excerpt":"A henselian valued field $K$ is called a tame field if its algebraic closure $\\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\\tilde{K}|K$ is algebraically closed. Every algebraically maximal Kaplansky field is a tame field, but not conversely. We develop the algebraic theory of tame fields and then prove Ax--Kochen--Ershov Principles for tame fields. This leads to model completeness and completeness results relative to value group and residue field. As the maximal immediate extensions of tame fields will in general not be unique, the proofs have to use"},"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":"1304.0194","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2013-03-31T12:47:13Z","cross_cats_sorted":[],"title_canon_sha256":"e217a298bc1dc92ef0508d1441091499af1d295a255d01bd54a1ea0262587639","abstract_canon_sha256":"8f5014a141e43bfeef04ba21a3d5bdd43985ca6e9a3753d3c27c853ed60e0916"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:50.983466Z","signature_b64":"kSvpLajTfjAwNvUzDUSe/oXYr8jpcdQZPah3PepAFb1jcaxIII9pqEFJTL9YWdUKWsm37I+b7QnFXxXYDtN+AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"348bf0ac7f9ae35b0742b07de34f1cb447826706b060284f6ce6bba737d9fea0","last_reissued_at":"2026-05-18T02:47:50.982996Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:50.982996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The algebra and model theory of tame valued fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AC","authors_text":"Franz-Viktor Kuhlmann","submitted_at":"2013-03-31T12:47:13Z","abstract_excerpt":"A henselian valued field $K$ is called a tame field if its algebraic closure $\\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\\tilde{K}|K$ is algebraically closed. Every algebraically maximal Kaplansky field is a tame field, but not conversely. We develop the algebraic theory of tame fields and then prove Ax--Kochen--Ershov Principles for tame fields. This leads to model completeness and completeness results relative to value group and residue field. As the maximal immediate extensions of tame fields will in general not be unique, the proofs have to use"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.0194","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":"1304.0194","created_at":"2026-05-18T02:47:50.983065+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.0194v2","created_at":"2026-05-18T02:47:50.983065+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0194","created_at":"2026-05-18T02:47:50.983065+00:00"},{"alias_kind":"pith_short_12","alias_value":"GSF7BLD7TLRV","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_16","alias_value":"GSF7BLD7TLRVWB2C","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_8","alias_value":"GSF7BLD7","created_at":"2026-05-18T12:27:45.050594+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/GSF7BLD7TLRVWB2CWB66GTY4WR","json":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR.json","graph_json":"https://pith.science/api/pith-number/GSF7BLD7TLRVWB2CWB66GTY4WR/graph.json","events_json":"https://pith.science/api/pith-number/GSF7BLD7TLRVWB2CWB66GTY4WR/events.json","paper":"https://pith.science/paper/GSF7BLD7"},"agent_actions":{"view_html":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR","download_json":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR.json","view_paper":"https://pith.science/paper/GSF7BLD7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.0194&json=true","fetch_graph":"https://pith.science/api/pith-number/GSF7BLD7TLRVWB2CWB66GTY4WR/graph.json","fetch_events":"https://pith.science/api/pith-number/GSF7BLD7TLRVWB2CWB66GTY4WR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR/action/storage_attestation","attest_author":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR/action/author_attestation","sign_citation":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR/action/citation_signature","submit_replication":"https://pith.science/pith/GSF7BLD7TLRVWB2CWB66GTY4WR/action/replication_record"}},"created_at":"2026-05-18T02:47:50.983065+00:00","updated_at":"2026-05-18T02:47:50.983065+00:00"}