November 2023 Characterizing finitely generated fields by a single field axiom
Philip Dittmann, Florian Pop
Author Affiliations +
Ann. of Math. (2) 198(3): 1203-1227 (November 2023). DOI: 10.4007/annals.2023.198.3.4

Abstract

We resolve the strong Elementary Equivalence versus Isomorphism Problem for finitely generated fields. That is, we show that for every field in this class, there is a first-order sentence that characterizes this field within the class up to isomorphism. Our solution is conditional on resolution of singularities in characteristic two and unconditional in all other characteristics.

Citation

Download Citation

Philip Dittmann. Florian Pop. "Characterizing finitely generated fields by a single field axiom." Ann. of Math. (2) 198 (3) 1203 - 1227, November 2023. https://doi.org/10.4007/annals.2023.198.3.4

Information

Published: November 2023
First available in Project Euclid: 26 October 2023

Digital Object Identifier: 10.4007/annals.2023.198.3.4

Subjects:
Primary: 12L99 , 14G25

Keywords: elementary equivalence versus isomorphism , finitely generated fields , first-order definability of valuations , higher-dimensional cohomological local-global principles , Pfister forms

Rights: Copyright © 2023 Department of Mathematics, Princeton University

JOURNAL ARTICLE
25 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.198 • No. 3 • November 2023
Back to Top