Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
We say that a real closed field is an IPA-real closed field if it admits an integer part (IP) which is a model of Peano Arithmetic (PA). In [2] we prove that the value group of an IPA-real closed field must satisfy very restrictive conditions (i.e. must be an exponential group in the residue field, in the sense of [4]). Combined with the main result of [1] on recursively saturated real closed fields, we obtain a valuation theoretic characterization of countable IPA-real closed fields. Expanding on [3], we conclude the talk by considering recursively saturated o-minimal expansions of real closed fields and their IPs.
[-]
We say that a real closed field is an IPA-real closed field if it admits an integer part (IP) which is a model of Peano Arithmetic (PA). In [2] we prove that the value group of an IPA-real closed field must satisfy very restrictive conditions (i.e. must be an exponential group in the residue field, in the sense of [4]). Combined with the main result of [1] on recursively saturated real closed fields, we obtain a valuation theoretic char...
[+]
06A05 ; 12J10 ; 12J15 ; 12L12 ; 13A18
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Joint work with Silvain Rideau-Kikuchi.
Pseudo algebraically closed, pseudo real closed, and pseudo p-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this talk, we propose a unified framework for studying them: the class of pseudo $T$ -closed fields, where $T$ is an enriched theory of fields. These fields verify a 'local-global' principle for the existence of points on varieties with respect to models of $T$ . This approach also enables a good description of some fields equipped with multiple V -topologies, particularly pseudo algebraically closed fields with a finite number of valuations. An important result that will be discussed in this talk is a (model theoretic) classification theorem for bounded pseudo T -closed fields, in particular we show that under specific hypotheses on $T$ , these fields are NTP2 of finite burden.
[-]
Joint work with Silvain Rideau-Kikuchi.
Pseudo algebraically closed, pseudo real closed, and pseudo p-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this talk, we propose a unified framework for studying them: the class of pseudo $T$ -closed fields, where $T$ is an enriched theory of fields. These fields verify a 'local-global' principle for the existence of points on ...
[+]
03C98 ; 03C40 ; 12L12 ; 12J10 ; 12J15