Equational theories and universal theories of fields

DOI10.2969/jmsj/03520289zbMath0496.03015OpenAlexW2024366700MaRDI QIDQ1170235

Hiroakira Ono

Publication date: 1983

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/03520289

zbMATH Keywords

recursive axiomatizabilityabsolute number fieldsequational theories of commutative regular ringsuniversal theories of integral domains

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (8)

Transformation of fractions into simple fractions in divisive meadows ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Arithmetical datatypes with true fractions ⋮ Eager Equality for Rational Number Arithmetic ⋮ Symmetric transrationals: the data type and the algorithmic degree of its equational theory ⋮ Inversive meadows and divisive meadows ⋮ Division by zero in non-involutive meadows ⋮ Division by Zero in Common Meadows

This page was built for publication: Equational theories and universal theories of fields