Function Algebras on Finite Sets gives a broad introduction to the subject, leading up to the cutting edge of research. The general concepts of the Universal Algebra are given in the first part of the book, to familiarize the reader from the very beginning on with the algebraic side of function algebras. The second part covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, and clone theory.

Function Algebras on Finite Sets gives a broad introduction to the subject, leading up to the cutting edge of research. The general concepts of the Universal Algebra are given in the first part of the book, to familiarize the reader from the very beginning on with the algebraic side of function algebras. The second part covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, and clone theory.

The utility of congruence lattices in revealing the structure of general algebras has been recognized since Garrett Birkhoff's pioneering work in the 1930s and 1940s. However, the results presented in this book are of very recent origin: most of them were developed in 1983. The main discovery presented here is that the lattice of congruences of a finite algebra is deeply connected to the structure of that algebra. The theory reveals a sharp division of locally finite varieties of algebras into six interesting new families, each of which is characterized by the behavior of congruences in the algebras. The authors use the theory to derive many new results that will be of interest not only to universal algebraists, but to other algebraists as well. The authors begin with a straightforward and complete development of basic tame congruence theory, a topic that offers great promise for a wide variety of investigations. They then move beyond the consideration of individual algebras to a study of locally finite varieties. A list of open problems closes the work.

The book is a collection of original papers, research and surveys, dedicated to the memory of the Romanian mathematician Solomon Marcus (1925-2016). Marcus published many papers and books in mathematical analysis, theoretical computer science, mathematical linguistics, poetics, theory of literature, semiotics, and several other fields less strongly connected to mathematics, like cultural anthropology, biology, history and philosophy of science, education. He exemplified an unimaginable richness of ideas.This volume intends to emphasize the mathematical fields in which Solomon Marcus worked, and demonstrate — as he also did — the interconnection between them. The authors who contribute to this volume are well-known experts in their fields. Most of them knew Solomon Marcus well, some even owed him for his decisive impulses for their careers and general development. With articles in so diverse areas, the volume will attract readers who would like to diversify their own knowledge or find unexpected connections with other topics.

This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the computational complexity of certain algorithmic tasks related to constraint satisfaction. The complexity-theoretic results of these tasks may have a direct impact on, for instance, the design and processing of database query languages, or strategies in data-mining, or the design and implementation of planners. This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006. A number of speakers were solicited to write surveys presenting the state of the art in their area of expertise. These contributions were peer-reviewed by experts in the field and revised before they were collated to the 9 papers of this volume. In addition, the volume contains a reprint of a survey by Kolaitis and Vardi on the logical approach to constraint satisfaction that first appeared in 'Finite Model Theory and its Applications', published by Springer in 2007.

This self-contained reference/text presents a thorough account of the theory of real function algebras. Employing the intrinsic approach, avoiding the complexification technique, and generalizing the theory of complex function algebras, this single-source volume includes: an introduction to real Banach algebras; various generalizations of the Stone-Weierstrass theorem; Gleason parts; Choquet and Shilov boundaries; isometries of real function algebras; extensive references; and a detailed bibliography.;Real Function Algebras offers results of independent interest such as: topological conditions for the commutativity of a real or complex Banach algebra; Ransford's short elementary proof of the Bishop-Stone-Weierstrass theorem; the implication of the analyticity or antianalyticity of f from the harmonicity of Re f, Re f(2), Re f(3), and Re f(4); and the positivity of the real part of a linear functional on a subspace of C(X).;With over 600 display equations, this reference is for mathematical analysts; pure, applied, and industrial mathematicians; and theoretical physicists; and a text for courses in Banach algebras and function algebras.