Elementary embeddings of fields of power series

DOI10.1016/0022-314X(70)90024-7zbMath0199.30403MaRDI QIDQ2540547

Abraham Robinson

Publication date: 1970

Published in: Journal of Number Theory (Search for Journal in Brave)

zbMATH Keywords

algebraic logic, model theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Related Items

Inclusions et produits de groupes abéliens ordonnés étudiés au premier ordre ⋮ Formal power series ⋮ Difference equations in Witt vectors ⋮ Abraham Robinson, 1918-1974 ⋮ Ultraproducts and approximation in local rings. I ⋮ Approximation for Frobenius algebraic equations in Witt vectors ⋮ Relative elimination of quantifiers for Henselian valued fields

Cites Work

• Unnamed Item
• Diophantine problems over local fields. III: Decidable fields
• Diophantine Problems Over Local Fields I
• Rational points in Henselian discrete valuation rings
• Compactification of groups and rings and nonstandard analysis
• Non-standard analysis