{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:R6J2GPCUYK6RHE5D2NHOIOKTGU","short_pith_number":"pith:R6J2GPCU","schema_version":"1.0","canonical_sha256":"8f93a33c54c2bd1393a3d34ee439533509801111d15ab5d6f1d5fb945762749f","source":{"kind":"arxiv","id":"1404.3338","version":2},"attestation_state":"computed","paper":{"title":"On differential Galois groups of strongly normal extensions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Francoise Point, Quentin Brouette","submitted_at":"2014-04-13T01:26:43Z","abstract_excerpt":"We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p-valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in CODF, we establish a relative Galois correspondence for relatively definable subgroups of the group of differential order automorp"},"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":"1404.3338","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-13T01:26:43Z","cross_cats_sorted":[],"title_canon_sha256":"aa5a1e95cb46374ccf34063cec80c0e93ca13e488fe83a702aa1e7282340fd7b","abstract_canon_sha256":"4abda0f181a910dc471c0eb26e2404035925b6a5acd571ba22c249fc4772365a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:29.072551Z","signature_b64":"CTQ/jovWkEz0fPu4cuj3tkxy58jFfOogUWAKpDwfTcadvp2VLIY5VNWwGALsOZz3wyynwVH8sQscMIeoKI0HCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8f93a33c54c2bd1393a3d34ee439533509801111d15ab5d6f1d5fb945762749f","last_reissued_at":"2026-05-18T00:44:29.071978Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:29.071978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On differential Galois groups of strongly normal extensions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Francoise Point, Quentin Brouette","submitted_at":"2014-04-13T01:26:43Z","abstract_excerpt":"We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p-valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in CODF, we establish a relative Galois correspondence for relatively definable subgroups of the group of differential order automorp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.3338","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":"1404.3338","created_at":"2026-05-18T00:44:29.072057+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.3338v2","created_at":"2026-05-18T00:44:29.072057+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.3338","created_at":"2026-05-18T00:44:29.072057+00:00"},{"alias_kind":"pith_short_12","alias_value":"R6J2GPCUYK6R","created_at":"2026-05-18T12:28:46.137349+00:00"},{"alias_kind":"pith_short_16","alias_value":"R6J2GPCUYK6RHE5D","created_at":"2026-05-18T12:28:46.137349+00:00"},{"alias_kind":"pith_short_8","alias_value":"R6J2GPCU","created_at":"2026-05-18T12:28:46.137349+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/R6J2GPCUYK6RHE5D2NHOIOKTGU","json":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU.json","graph_json":"https://pith.science/api/pith-number/R6J2GPCUYK6RHE5D2NHOIOKTGU/graph.json","events_json":"https://pith.science/api/pith-number/R6J2GPCUYK6RHE5D2NHOIOKTGU/events.json","paper":"https://pith.science/paper/R6J2GPCU"},"agent_actions":{"view_html":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU","download_json":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU.json","view_paper":"https://pith.science/paper/R6J2GPCU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.3338&json=true","fetch_graph":"https://pith.science/api/pith-number/R6J2GPCUYK6RHE5D2NHOIOKTGU/graph.json","fetch_events":"https://pith.science/api/pith-number/R6J2GPCUYK6RHE5D2NHOIOKTGU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU/action/storage_attestation","attest_author":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU/action/author_attestation","sign_citation":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU/action/citation_signature","submit_replication":"https://pith.science/pith/R6J2GPCUYK6RHE5D2NHOIOKTGU/action/replication_record"}},"created_at":"2026-05-18T00:44:29.072057+00:00","updated_at":"2026-05-18T00:44:29.072057+00:00"}