Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Silvain Rideau"'
Publikováno v:
Forum of Mathematics, Sigma, Vol 11 (2023)
In this paper, together with the preceding Part I [10], we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to [10] the treatment of the mixed characteristic case. Hensel minim
Externí odkaz:
https://doaj.org/article/3116683b8f1640e987442629b8245fce
Publikováno v:
Forum of Mathematics, Pi, Vol 10 (2022)
We present a framework for tame geometry on Henselian valued fields, which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and applications for
Externí odkaz:
https://doaj.org/article/fdcb3cbbf79544119bab308eeb20898b
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)
In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Ridea
Externí odkaz:
https://doaj.org/article/98a4f8ac3e354590b83690c0b79d5367
Publikováno v:
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society, American Mathematical Society, 2021, pp.803-828. ⟨10.1090/tran/8052⟩
Transactions of the American Mathematical Society, American Mathematical Society, 2021, pp.803-828. ⟨10.1090/tran/8052⟩
In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fb8dcbb1430fbe7f94c438f4060313c
https://hal.archives-ouvertes.fr/hal-03017019
https://hal.archives-ouvertes.fr/hal-03017019
Publikováno v:
Forum of Mathematics, Pi
Forum of Mathematics, Pi, 2022, ⟨10.1017/fmp.2022.6⟩
Forum of Mathematics, Pi, 2022, ⟨10.1017/fmp.2022.6⟩
We present a framework for tame geometry on Henselian valued fields which we call Hensel minimality. In the spirit of o-minimality, which is key to real geometry and several diophantine applications, we develop geometric results and applications for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b411e99abbde351117c109c62a32d1c
https://hal.archives-ouvertes.fr/hal-03017168
https://hal.archives-ouvertes.fr/hal-03017168
Publikováno v:
Proceedings of the London Mathematical Society. 116:1457-1488
We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6972672491bab1ee2af0bf73546d09a6
https://doi.org/10.1112/plms.12116
https://doi.org/10.1112/plms.12116
Publikováno v:
Selecta Mathematica (New Series)
Selecta Mathematica (New Series), Springer Verlag, 2019, 25 (3), ⟨10.1007/s00029-019-0491-x⟩
Selecta Mathematica (New Series), Springer Verlag, 2019, 25 (3), ⟨10.1007/s00029-019-0491-x⟩
We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is metastable (ove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3e51508c82c5e72e2bafdfc6d01680b
https://hal.archives-ouvertes.fr/hal-02397880
https://hal.archives-ouvertes.fr/hal-02397880
Autor:
Silvain Rideau
Publikováno v:
Journal of the Institute of Mathematics of Jussieu. 16:447-499
We prove field quantifier elimination for valued fields endowed with both an analytic structure that is $\unicode[STIX]{x1D70E}$-Henselian and an automorphism that is $\unicode[STIX]{x1D70E}$-Henselian. From this result we can deduce various Ax–Koc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5da2bf54fbc3e8243421f02cbfa0bb07
https://doi.org/10.1017/s1474748015000183
https://doi.org/10.1017/s1474748015000183
Publikováno v:
Journal of the European Mathematical Society
Journal of the European Mathematical Society, European Mathematical Society, 2018, 20 (10), pp.2467-2537. ⟨10.4171/JEMS/817⟩
Journal of the European Mathematical Society, European Mathematical Society, 2018, 20 (10), pp.2467-2537. ⟨10.4171/JEMS/817⟩
The authors wish to thank Thomas Rohwer, Deirdre Haskell, Dugald Macpherson and Elisabeth Bouscaren for their comments on earlier drafts of this work, Martin Hils for suggesting that the proof could be adapted to finite extensions and Zo´e Chatzidak
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31fc4dbe943d9e2d023345aa7ed665b5
https://hal.archives-ouvertes.fr/hal-02373411
https://hal.archives-ouvertes.fr/hal-02373411
Autor:
Silvain Rideau-Kikuchi
Publikováno v:
Annals of Pure and Applied Logic
Annals of Pure and Applied Logic, Elsevier Masson, 2021, 172 (4), ⟨10.1016/j.apal.2021.102943⟩
Annals of Pure and Applied Logic, Elsevier Masson, 2021, 172 (4), ⟨10.1016/j.apal.2021.102943⟩
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.
11 pages. The proofs that are also in arXiv:1709.08801 have bee
11 pages. The proofs that are also in arXiv:1709.08801 have bee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::abd52c5b2340872586f978b0656a73ca
http://arxiv.org/abs/1612.02165
http://arxiv.org/abs/1612.02165