A model-theoretic transfer theorem for henselian valued fields.
From MaRDI portal
Publication:4196526
DOI10.1515/crll.1979.311-312.1zbMath0409.12030MaRDI QIDQ4196526
Publication date: 1979
Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)
Full work available at URL: https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002196530
03C60: Model-theoretic algebra
03C65: Models of other mathematical theories
12J10: Valued fields
13J15: Henselian rings
03C35: Categoricity and completeness of theories
12L15: Nonstandard arithmetic and field theory
Related Items
Relative elimination of quantifiers for Henselian valued fields, Towards a general theory of formally p-adic fields, Approximation properties and existential completeness for ring morphisms, On the structure of certain valued fields