The initial meadows

&
Journal of Symbolic Logic 75 (3):888-895 (2010)
  Copy   BIBTEX

Abstract

A meadow is a commutative ring with an inverse operator satisfying 0⁻¹ = 0. We determine the initial algebra of the meadows of characteristic 0 and prove a normal form theorem for it. As an immediate consequence we obtain the decidability of the closed term problem for meadows and the computability of their initial object

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1278682205

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Typability in Partial Applicative Structures.Inge Bethke & Piet Rodenburg - 2011 - Journal of Logic, Language and Information 20 (2):161-168.
Musings.Donella H. Meadows - 2000 - Business Ethics: The Magazine of Corporate Responsibility 14 (2):4-4.
Pliny on the Smaragdus.J. W. Meadows - 1945 - The Classical Review 59 (02):50-51.
Progressive Economics.Donella H. Meadows - 1997 - Business Ethics 11 (4):7-7.
Measures, explanations and the past: Should ‘special’ initial conditions be explained?Craig Callender - 2004 - British Journal for the Philosophy of Science 55 (2):195-217.
How Free Are Initial Conditions?Lawrence Sklar - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:551 - 564.
The cultural organization of action.Paul Meadows - 1946 - Philosophy of Science 13 (4):332-338.
The scientific use of historical data.Paul Meadows - 1944 - Philosophy of Science 11 (1):53-58.
The semiotic of Kenneth Burke.Paul Meadows - 1957 - Philosophy and Phenomenological Research 18 (1):80-87.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
The dialectic of the situation: Some notes on situational psychology: Discussion.Paul Meadows - 1945 - Philosophy and Phenomenological Research 5 (3):354-365.
Local initial segments of the Turing degrees.Bjørn Kjos-Hanssen - 2003 - Bulletin of Symbolic Logic 9 (1):26-36.
Pausanias and the historiography of Classical Sparta.A. R. Meadows - 1995 - Classical Quarterly 45 (01):92-.
Achieving widespread democratic education in the united states: Dewey's ideas reconsidered.Elizabeth Meadows Katherine Blatchford - 2009 - Education and Culture 25 (1):pp. 36-51.

Analytics

Added to PP
2010-09-12

Downloads
32 (#497,200)

6 months
12 (#209,539)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Division by zero in non-involutive meadows.J. A. Bergstra & C. A. Middelburg - 2015 - Journal of Applied Logic 13 (1):1-12.
Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.

Add more citations

References found in this work

Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.
Algebras, Lattices, Varieties.Ralph N. Mckenzie, George F. Mcnulty & Walter F. Taylor - 1992 - Journal of Symbolic Logic 57 (1):266-268.

Add more references