Decidability of the elementary theory of universal semifields of the second kind

DOI10.1007/BF00969270zbMath0626.06019MaRDI QIDQ580393

R. Gulamov

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

Boolean algebracompletenessdecidabilityreal-closed commutative regular f-ringssystem of axiomsuniversal semifields of the second kind

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Topological and ordered rings and modules (16W80) Categoricity and completeness of theories (03C35) Topological semifields (12J17)

Cites Work

• Model-completeness for sheaves of structures
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability of the elementary theory of universal semifields of the second kind