The initial meadows

DOI10.2178/JSL/1278682205MaRDI QIDQ4931095zbMATH OpenOpenAlexFDO

Authors Inge Bethke, P. H. Rodenburg

Publication date 4 October 2010

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.2256, https://pure.uva.nl/ws/files/4406592/84714_328633.pdf

zbMATH Keywords

computable algebrasdata structuresdecidabilityinitial algebra semanticsnormal formsspecification languagesword problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Abstract data types; algebraic specification (68Q65)

Abstract: A emph{meadow} is a commutative ring with an inverse operator satisfying $0^{-1}=0$. We determine the initial algebra of the meadows of characteristic 0 and show that its word problem is decidable.

Recommendations

• The structure of finite meadows
• Meadows and the equational specification of division
• Division by zero in non-involutive meadows
• Fields, Meadows and Abstract Data Types
• Inversive meadows and divisive meadows

Cites work

• scientific article; zbMATH DE number 3638054 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Meadows and the equational specification of division
• Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
• Subdirect unions in universal algebra

Cited in

(12)

• Division by zero in non-involutive meadows
• Arithmetical datatypes with true fractions
• The structure of finite meadows
• Ideals in computable rings
• Fracpairs and fractions over a reduced commutative ring
• Transformation of fractions into simple fractions in divisive meadows
• Inversive meadows and divisive meadows
• Subvarieties of the Variety of Meadows
• A negative result on algebraic specifications of the meadow of rational numbers
• Division by zero in common meadows
• Straight-line instruction sequence completeness for total calculation on cancellation meadows
• Fields, Meadows and Abstract Data Types

This page was built for publication: The initial meadows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931095)