Algebras and orders
Author(s)
Bibliographic Information
Algebras and orders
(NATO ASI series, Ser. C . Mathematical and physical sciences ; v. 389)
Kluwer Academic, c1993
Available at 24 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P(*)||NATO-C||38993020227
Note
"Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures on Algebras and Orders, Montréal, Canada, July 29-August 9, 1991" -- T.p. verso
Includes bibliographical references and index
Description and Table of Contents
Description
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.
Table of Contents
- Preface. Partial Algebras - An Introductory Survey
- P. Burmeister. Duality Theory on Ten Dollars a Day
- B.A. Davey. Algebraic Ordered Sets and their Generalizations
- M. Erne. A Boolean Formalization of Predicate Calculus
- I. Fleischer. Lectures on Free Lattices
- R. Freese. A Survey of Boolean Algebras with Operators
- B. Jonsson. Essentially Minimal Groupoids
- H. Machida, I.G. Rosenberg. Functional and Affine Completeness and Arithmetical Varieties
- A.F. Pixley. Reading, Drawing, and Order
- I. Rival. Hyperidentities
- D. Schweigert. Abstract Clone Theory
- W. Taylor. Now Alouette Knows It All. Index.
by "Nielsen BookData"