Advertisement

Algebras and Orders

  • Ivo G. Rosenberg
  • Gert Sabidussi

Part of the NATO ASI Series book series (ASIC, volume 389)

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Peter Burmeister
    Pages 1-70
  3. Brian A. Davey
    Pages 71-111
  4. Isidore Fleischer
    Pages 193-198
  5. Ralph Freese
    Pages 199-237
  6. Bjarni Jónsson
    Pages 239-286
  7. Hajime Machida, Ivo G. Rosenberg
    Pages 287-316
  8. Ivan Rival
    Pages 359-404
  9. Dietmar Schweigert
    Pages 405-506
  10. Walter Taylor
    Pages 507-530
  11. Back Matter
    Pages 531-553

About this book

Introduction

In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos­ ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties.

Keywords

Algebra Arithmetic Boolean algebra Computer calculus computer science theoretical computer science

Editors and affiliations

  • Ivo G. Rosenberg
    • 1
  • Gert Sabidussi
    • 1
  1. 1.Département de mathématiques et de statistiqueUniversité de MontréalMontréalCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-0697-1
  • Copyright Information Springer Science+Business Media B.V. 1993
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-4243-9
  • Online ISBN 978-94-017-0697-1
  • Series Print ISSN 1389-2185
  • Buy this book on publisher's site