Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors …
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors …
The articles collected here are the texts of the invited lectures given at the Eighth British Combinatorial Conference held at University College, Swansea. The contributions …
The British Combinatorial Conference is an established biennial international gathering. This volume contains the invited papers presented, by several distinguished mathematicians, …
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of …
This volume contains selected papers by leading researchers from the international conference entitled Tits Buildings and the Model Theory of Groups, held in Würzburg in 2000. The …
Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations …
In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical systems, including ergodic …
Line graphs have the property that their least eigenvalue is greater than or equal to –2, a property shared by generalized line graphs and a finite number of so-called exceptional …
The language of ends and (co)ends provides a natural and general way of expressing many phenomena in category theory, in the abstract and in applications. Yet although …
