Hyperalgebraic primitive elements for relational algebraic and topological algebraic models

DOI10.1007/BF00370842zbMath0865.12004OpenAlexW2086580888MaRDI QIDQ2563459

Matt Insall

Publication date: 13 July 1997

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370842

zbMATH Keywords

infinitesimalalgebraic modelstopological modelsnonstandard methodstopological fieldhyperalgebraic primitive elements

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Nonstandard models in mathematics (03H05) Topological fields (12J99) Nonstandard arithmetic and field theory (12L15)

Cites Work

• Topological model theory
• Diophantine problems over local fields. III: Decidable fields
• Construction of the reals via ultrapowers
• Some nonstandard methods applied to distributive lattices
• Algorithms in Algebraic Number Theory
• Completing Boolean Algebras by Nonstandard Methods
• Nonstandard Methods and Finiteness Conditions in Algebra
• Diophantine Problems Over Local Fields I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hyperalgebraic primitive elements for relational algebraic and topological algebraic models