Indécidabilité de la théorie des paires immédiates de corps valués henseliens

DOI10.2307/2275471zbMath0746.03028OpenAlexW2102383474MaRDI QIDQ3984402

Françoise Delon

Publication date: 27 June 1992

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

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

zbMATH Keywords

value grouppairs of modelsresidual fieldimmediate pairstheory of pairs of valued Henselian fields

Mathematics Subject Classification ID

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

Related Items (1)

Burden in Henselian valued fields

Cites Work

• Certain logical reduction and decision problems

This page was built for publication: Indécidabilité de la théorie des paires immédiates de corps valués henseliens