Simple Equational Specifications of Rational Arithmetic

Simple Equational Specifications of Rational Arithmetic

We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an e...

Full description

Bibliographic Details
Main Author:	Lawrence S. Moss
Format:	Article
Language:	English
Published:	Discrete Mathematics & Theoretical Computer Science 2001-12-01
Series:	Discrete Mathematics & Theoretical Computer Science
Online Access:	http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/147

Similar Items

Equations in simple matrix groups: algebra, geometry, arithmetic, dynamics
by: Bandman Tatiana, et al.
Published: (2014-02-01)

Properties of rational arithmetic functions
by: Vichian Laohakosol, et al.
Published: (2005-01-01)

The Arithmetic of Simple Singularities
by: Thorne, Jack A.
Published: (2012)

Exact rational arithmetic for geometric computation
by: Seymour, David
Published: (1997)

Rational homotopy theory in arithmetic geometry : applications to rational points
by: Lazda, Christopher David
Published: (2014)

Influence of bilingualism on simple arithmetic

The GHZ/W-calculus contains rational arithmetic
by: Bob Coecke, et al.
Published: (2011-03-01)

Rational Arithmetic as a Means of Matrix Inversion
by: Peterson, Jay Roland
Published: (1967)

Obstructions to arithmetic properties of rational points on varieties
by: Balestrieri, Francesca
Published: (2017)

Qualitatively different approaches to simple arithmetic
by: Gray, Edward Martin
Published: (1993)

The arithmetic of realizable sequences
by: Moss, Patrick Barry
Published: (2003)

Simple Methods and Rational Design for Enhancing Aptamer Sensitivity and Specificity
by: Priya Kalra, et al.
Published: (2018-05-01)

The specific disorder of arithmetical skills
by: Hein, Jakob
Published: (2000)

Arithmetic Memory Is Modality Specific.
by: Timothy Myers, et al.
Published: (2015-01-01)

Natural, rational, and real arithmetic in a finitary theory of finite sets
by: Pettigrew, Richard G.
Published: (2008)

Diophantine Equations Involving Arithmetic Functions of Factorials
by: Baczkowski, Daniel M.
Published: (2004)

Solving differential equations in exact real arithmetic
by: Krznaric, Marko
Published: (2005)

The Homoclinic Orbit of Lorenz Equation by the Interval Arithmetic
by: Wen, She-Chung, et al.
Published: (1997)

Applications of S-unit equations to the arithmetic of elliptic curves
by: Koutsianas, Angelos
Published: (2016)

Arithmetic of cyclotomic fields and Fermat-type equations
by: Sitaraman, Sankar
Published: (1994)

A Study on the Remedial Instruction of Arithmetic Sequence and Arithmetic Series by Using the Specific Patterns
by: Yung-Hsiang Weng, et al.
Published: (2014)

Simple cortical and thalamic neuron models for digital arithmetic circuit implementation
by: Takuya eNanami, et al.
Published: (2016-05-01)

Simple High-Level Code For Cryptographic Arithmetic With Proofs, Without Compromises
by: Erbsen, Andres, et al.
Published: (2021)

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises
by: Erbsen, Andres, et al.
Published: (2021)

Diophantine equations with arithmetic functions and binary recurrences sequences
by: Faye, Bernadette
Published: (2018)

On θ-Congruent Numbers, Rational Squares in Arithmetic Progressions, Concordant Forms and Elliptic Curves
by: Erich Selder, et al.
Published: (2015-01-01)

Singularly Perturbed Cauchy Problem for a Parabolic Equation with a Rational “Simple” Turning Point
by: Tatiana Ratnikova
Published: (2020-11-01)

Arithmetic on Your Phone: A Large Scale Investigation of Simple Additions and Multiplications.
by: Federico Zimmerman, et al.
Published: (2016-01-01)

The Relations between Father-child Interactions and Children’s Simple Addition Arithmetic Abilities
by: Shu-chuan Lee, et al.

Rational and systematic teaching in Colombia: the case of arithmetic in the textbooks of G.M. Bruño (1900-1930)
by: Fernando Romero Loaiza, et al.
Published: (2015-06-01)

Fused floating-point arithmetic for application specific processors
by: Min, Jae Hong
Published: (2014)

ARITHMETIC PROGRESSION APPLICATION FOR SOLVING OF HIGH DEGREES ALGEBRAIC EQUATIONS
by: V. M. Ilyin
Published: (2019-06-01)

Rationality of blocks of quasi-simple finite groups
by: Farrell, N.
Published: (2017)

Rational Arithmetic Mathematica Functions to Evaluate the One-sided One-sample K-S Cumulative Sample Distribution
by: J. Randall Brown, et al.
Published: (2007-03-01)

Rational Arithmetic Mathematica Functions to Evaluate the Two-Sided One Sample K-S Cumulative Sampling Distribution
by: J. Randall Brown, et al.
Published: (2007-06-01)

Split and Merge Strategies for Solving Uncertain Equations Using Affine Arithmetic
by: Oliver Scharf, et al.
Published: (2016-12-01)

Transforming Arithmetic Asian Option PDE to the Parabolic Equation with Constant Coefficients
by: Zieneb Ali Elshegmani, et al.
Published: (2011-01-01)

A formalisation of the arithmetic of transfinite ordinals in a multisuccessor equation calculus
by: Williams, H. P.
Published: (1968)

The Enculturated Move From Proto-Arithmetic to Arithmetic
by: Markus Pantsar
Published: (2019-07-01)

The development of arithmetic in normal and arithmetic disabled children
by: Steel, Sylvia Kathleen
Published: (2000)