Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Anscombe, Will"'
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
Publikováno v:
The Journal of Symbolic Logic, 2014 Dec 01. 79(4), 1336-1343.
Externí odkaz:
https://www.jstor.org/stable/43303788
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
Autor:
Anscombe, Will
We study definable sets in power series fields with perfect residue fields. We show that certain `one-dimensional' definable sets are in fact existentially definable. This allows us to apply results from previous work about existentially definable se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce235297b948e29c821f7a7c350790a9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
ANSCOMBE, WILL, KOENIGSMANN, JOCHEN
Publikováno v:
Journal of Symbolic Logic; Dec2014, Vol. 79 Issue 4, p1336-1343, 8p
Autor:
ANSCOMBE, WILL, KOENIGSMANN, JOCHEN
Publikováno v:
Journal of Symbolic Logic; December 2014, Vol. 79 Issue: 4 p1336-1343, 8p
Autor:
Anscombe, William George
We investigate definability in henselian fields. Specifically, we are interested in those sets and substructures that are existentially definable or definable with `few' parameters. Our general approach is to use various versions of henselianity to u
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039