Indécidabilité de corps de séries formelles

DOI10.2307/2274617zbMath0678.03017OpenAlexW4251496308MaRDI QIDQ3834039

Françoise Delon, Yamina Rouani

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274617

zbMATH Keywords

definabilityKaplansky fieldArtin-Schreier closed fieldvalued field of formal power series

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Valued fields (12J10)

This page was built for publication: Indécidabilité de corps de séries formelles