The study of permutation groups has always been closely associated with that of highly symmetric structures. The objects considered here are countably infinite, but have only finitely many different substructures of any given finite size. They are precisely those structures which are determined by first-order logical axioms together with the assumption of countability. This book concerns such structures, their substructures and their automorphism groups. A wide range of techniques are used: group theory, combinatorics, Baire category and measure among them. The book arose from lectures given...

This book stresses the connection between, and the applications of, design theory to graphs and codes. Beginning with a brief introduction to design theory and the necessary background, the book also provides relevant topics for discussion from the theory of graphs and codes.

This book stresses the connection between, and the applications of, design theory to graphs and codes. Beginning with a brief introduction to design theory and the necessary background, the book also provides relevant topics for discussion from the theory of graphs and codes.

Including many algorithms described in simple terms, this book stresses common techniques (such as generating functions and recursive construction) that underlie the great variety of subject matter.

Permutation groups are one of the oldest topics in algebra. Their study has recently been revolutionized by new developments, particularly the Classification of Finite Simple Groups, but also relations with logic and combinatorics, and importantly, computer algebra systems have been introduced that can deal with large permutation groups. This text summarizes these developments, including an introduction to relevant computer algebra systems, sketch proofs of major theorems, and many examples of applying the Classification of Finite Simple Groups. It is aimed at beginning graduate students and...

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Godel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have...

These notes present an investigation of a condition similar to Euclid's parallel axiom for subsets of finite sets.

This book is concerned with the relations between graphs, error-correcting codes and designs.