TY  - JOUR
AU  - Jamshid Derakhshan
AU  - Angus Macintyre
TI  - Model completeness for finitely ramified Henselian fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields
JO  - Confluentes Mathematici
PY  - 2023
SP  - 137
EP  - 147
VL  - 15
PB  - Institut Camille Jordan
UR  - https://cml.centre-mersenne.org/articles/10.5802/cml.96/
DO  - 10.5802/cml.96
LA  - en
ID  - CML_2023__15__137_0
ER  -