Showing 1–9 of 9 results for author: Bethke, I

Universality of Univariate Mixed Fractions in Divisive Meadows

Authors: Jan A. Bergstra, Inge Bethke, Dimitri Hendriks

Abstract: Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero. Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero. △ Less

Submitted 3 July, 2017; originally announced July 2017.

Comments: 12 pages

Subvarieties of the variety of meadows

Authors: Jan A. Bergstra, Inge Bethke

Abstract: Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature. Meadows - commutative rings equipped with a total inversion operation - can be axiomatized by purely equational means. We study subvarieties of the variety of meadows obtained by extending the equational theory and expanding the signature. △ Less

Submitted 19 April, 2016; v1 submitted 14 October, 2015; originally announced October 2015.

Comments: 11 pages

A negative result on algebraic specifications of the meadow of rational numbers

Authors: Jan A. Bergstra, Inge Bethke

Abstract: $\mathbb{Q}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0$. In this note, we prove that $\mathbb{Q}_0$ cannot be specified by the usual axioms for meadows augmented by a finite set of axioms of the form $(1+ \cdots +1+x^2)\cdot (1+ \cdots +1 +x^2)^{-1}=1$. $\mathbb{Q}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0$. In this note, we prove that $\mathbb{Q}_0$ cannot be specified by the usual axioms for meadows augmented by a finite set of axioms of the form $(1+ \cdots +1+x^2)\cdot (1+ \cdots +1 +x^2)^{-1}=1$. △ Less

Submitted 22 January, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: 5 pages, 2 tables

MSC Class: 12D15

Note on paraconsistency and reasoning about fractions

Authors: Jan A. Bergstra, Inge Bethke

Abstract: We apply a paraconsistent logic to reason about fractions. We apply a paraconsistent logic to reason about fractions. △ Less

Submitted 6 March, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 6 pages

Report number: report TCS1413, October 2014 ACM Class: F.4.1

Equations for formally real meadows

Authors: Jan A. Bergstra, Inge Bethke, Alban Ponse

Abstract: We consider the signatures $Σ_m=(0,1,-,+, \cdot, \ ^{-1})$ of meadows and $(Σ_m, {\mathbf s})$ of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an o… ▽ More We consider the signatures $Σ_m=(0,1,-,+, \cdot, \ ^{-1})$ of meadows and $(Σ_m, {\mathbf s})$ of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an ordering. We apply these completeness results in order to obtain complete axiomatizations of the complex numbers. △ Less

Submitted 13 January, 2015; v1 submitted 18 October, 2013; originally announced October 2013.

Comments: 24 pages, 14 tables, revised, new Theorem 3.7

MSC Class: 12D15

Typability in partial groupoids

Authors: P. H. Rodenburg, I. Bethke

Abstract: Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras. Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras. △ Less

Submitted 1 January, 2009; originally announced January 2009.

Comments: 5 pages

MSC Class: 08A55 (Primary); 03B15; 03B40; 08A68 (Secondary)

The initial meadows

Authors: Inge Bethke, Piet Rodenburg

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. 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. △ Less

Submitted 13 June, 2008; originally announced June 2008.

Comments: 11 pages

Cancellation Meadows: a Generic Basis Theorem and Some Applications

Authors: Jan A. Bergstra, Inge Bethke, Alban Ponse

Abstract: Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows", i.e., meadows without proper zero divisors, such as $Q_0$ and prove a generic completeness result. We apply this result to cancellation meadows expanded with differentiation operators, the sign functi… ▽ More Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "cancellation meadows", i.e., meadows without proper zero divisors, such as $Q_0$ and prove a generic completeness result. We apply this result to cancellation meadows expanded with differentiation operators, the sign function, and with floor, ceiling and a signed variant of the square root, respectively. We give an equational axiomatization of these operators and thus obtain a finite basis for various expanded cancellation meadows. △ Less

Submitted 22 May, 2013; v1 submitted 27 March, 2008; originally announced March 2008.

Comments: 24 pages, 6 tables; Inge Bethke is added as an extra author; new title (previous title: A Generic Basis Theorem for Cancellation Meadows)

MSC Class: AC; RA

Journal ref: The Computer Journal 56(1): 3-14, 2013

Some properties of finite meadows

Authors: Inge Bethke, Piet Rodenburg

Abstract: The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite products. As a corollary, we obtain a unique representation of minimal meadows in terms of prime fields. The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite products. As a corollary, we obtain a unique representation of minimal meadows in terms of prime fields. △ Less

Submitted 6 December, 2007; originally announced December 2007.

Comments: 8 pages, 1 table