Zobrazeno 1 - 3
of 3
pro vyhledávání: '"03C60 (Primary), 12L12 (Secondary)"'
Autor:
Guerrero, Pablo Andujar, Johnson, Will
Publikováno v:
Annals of Pure and Applied Logic 175(10): 103484 (December 2024)
We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real tuple (in
Externí odkaz:
http://arxiv.org/abs/2208.05815
Autor:
Anscombe, Will, Koenigsmann, Jochen
We show that the valuation ring F_q[[t]] in the local field F_q((t)) is existentially definable in the language of rings with no parameters. The method is to use the definition of the henselian topology following the work of Prestel-Ziegler to give a
Externí odkaz:
http://arxiv.org/abs/1306.6760
Autor:
Anscombe, Will, Koenigsmann, Jochen
We show that the valuation ring F_q[[t]] in the local field F_q((t)) is existentially definable in the language of rings with no parameters. The method is to use the definition of the henselian topology following the work of Prestel-Ziegler to give a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c4cf5afcf3339bdbba9319c571c5dbb
https://ora.ox.ac.uk/objects/uuid:6a78412e-6d88-4cbe-82db-65edd6cb7e3b
https://ora.ox.ac.uk/objects/uuid:6a78412e-6d88-4cbe-82db-65edd6cb7e3b