An error was encountered while trying to add the item to the cart. Please try again.
The following link can be shared to navigate to this page. You can select the link to copy or click the 'Copy To Clipboard' button below.
Copy To Clipboard
Successfully Copied!
Model Theoretic Methods in Finite Combinatorics

Edited by: Martin Grohe Humboldt-Universität zu Berlin, Berlin, Germany
Johann A. Makowsky Technion-Israel Institute of Technology, Haifa, Israel
Available Formats:
Softcover ISBN: 978-0-8218-4943-9
Product Code: CONM/558
519 pp
List Price: $145.00 MAA Member Price:$130.50
AMS Member Price: $116.00 Electronic ISBN: 978-0-8218-8237-5 Product Code: CONM/558.E 519 pp List Price:$145.00
MAA Member Price: $130.50 AMS Member Price:$116.00
Bundle Print and Electronic Formats and Save!
This product is available for purchase as a bundle. Purchasing as a bundle enables you to save on the electronic version.
List Price: $217.50 MAA Member Price:$195.75
AMS Member Price: $174.00 Click above image for expanded view Model Theoretic Methods in Finite Combinatorics Edited by: Martin Grohe Humboldt-Universität zu Berlin, Berlin, Germany Johann A. Makowsky Technion-Israel Institute of Technology, Haifa, Israel Available Formats:  Softcover ISBN: 978-0-8218-4943-9 Product Code: CONM/558 519 pp  List Price:$145.00 MAA Member Price: $130.50 AMS Member Price:$116.00
 Electronic ISBN: 978-0-8218-8237-5 Product Code: CONM/558.E 519 pp
 List Price: $145.00 MAA Member Price:$130.50 AMS Member Price: $116.00 Bundle Print and Electronic Formats and Save! This product is available for purchase as a bundle. Purchasing as a bundle enables you to save on the electronic version. List Price:$217.50
MAA Member Price: $195.75 AMS Member Price:$174.00
• Book Details

Contemporary Mathematics
Volume: 5582011
MSC: Primary 03; 05; 68;

This volume contains the proceedings of the AMS-ASL Special Session on Model Theoretic Methods in Finite Combinatorics, held January 5–8, 2009, in Washington, DC.

Over the last 20 years, various new connections between model theory and finite combinatorics emerged. The best known of these are in the area of 0-1 laws, but in recent years other very promising interactions between model theory and combinatorics have been developed in areas such as extremal combinatorics and graph limits, graph polynomials, homomorphism functions and related counting functions, and discrete algorithms, touching the boundaries of computer science and statistical physics.

This volume highlights some of the main results, techniques, and research directions of the area. Topics covered in this volume include recent developments on 0-1 laws and their variations, counting functions defined by homomorphisms and graph polynomials and their relation to logic, recurrences and spectra, the logical complexity of graphs, algorithmic meta theorems based on logic, universal and homogeneous structures, and logical aspects of Ramsey theory.

Graduate students and research mathematicians interested in logic, combinatorics, and theoretical computer science.

• Articles
• Eldar Fischer, Tomer Kotek and Johann A. Makowsky - Application of logic to combinatorial sequences and their recurrence relations
• Jason P. Bell, Stanley N. Burris and Karen Yeats - Spectra and systems of equations
• Jason P. Bell and Stanley N. Burris - Compton’s method for proving logical limit laws
• Oleg Pikhurko and Oleg Verbitsky - Logical complexity of graphs: A survey
• Martin Grohe and Stephan Kreutzer - Methods for algorithmic meta theorems
• Tomer Kotek, Johann A. Makowsky and Boris Zilber - On counting generalized colorings
• Martin Grohe and Marc Thurley - Counting homomorphisms and partition functions
• Jan Hubička and Jarošlav Nešetřil - Some examples of universal and generic partial orders
• Gregory Cherlin - Two problems on homogeneous structures, revisited
• Assaf Hasson, Menachem Kojman and Alf Onshuus - On symmetric indivisbility of countable structures
• Andreas Blass - Partitions and permutation groups
• Dietrich Kuske - (Un)countable and (non)effective versions of Ramsey’s theorem
• Manuel Bodirsky and Michael Pinsker - Reducts of Ramsey structures

• Request Review Copy
• Get Permissions
Volume: 5582011
MSC: Primary 03; 05; 68;

This volume contains the proceedings of the AMS-ASL Special Session on Model Theoretic Methods in Finite Combinatorics, held January 5–8, 2009, in Washington, DC.

Over the last 20 years, various new connections between model theory and finite combinatorics emerged. The best known of these are in the area of 0-1 laws, but in recent years other very promising interactions between model theory and combinatorics have been developed in areas such as extremal combinatorics and graph limits, graph polynomials, homomorphism functions and related counting functions, and discrete algorithms, touching the boundaries of computer science and statistical physics.

This volume highlights some of the main results, techniques, and research directions of the area. Topics covered in this volume include recent developments on 0-1 laws and their variations, counting functions defined by homomorphisms and graph polynomials and their relation to logic, recurrences and spectra, the logical complexity of graphs, algorithmic meta theorems based on logic, universal and homogeneous structures, and logical aspects of Ramsey theory.

Graduate students and research mathematicians interested in logic, combinatorics, and theoretical computer science.

• Articles
• Eldar Fischer, Tomer Kotek and Johann A. Makowsky - Application of logic to combinatorial sequences and their recurrence relations
• Jason P. Bell, Stanley N. Burris and Karen Yeats - Spectra and systems of equations
• Jason P. Bell and Stanley N. Burris - Compton’s method for proving logical limit laws
• Oleg Pikhurko and Oleg Verbitsky - Logical complexity of graphs: A survey
• Martin Grohe and Stephan Kreutzer - Methods for algorithmic meta theorems
• Tomer Kotek, Johann A. Makowsky and Boris Zilber - On counting generalized colorings
• Martin Grohe and Marc Thurley - Counting homomorphisms and partition functions
• Jan Hubička and Jarošlav Nešetřil - Some examples of universal and generic partial orders
• Gregory Cherlin - Two problems on homogeneous structures, revisited
• Assaf Hasson, Menachem Kojman and Alf Onshuus - On symmetric indivisbility of countable structures
• Andreas Blass - Partitions and permutation groups
• Dietrich Kuske - (Un)countable and (non)effective versions of Ramsey’s theorem
• Manuel Bodirsky and Michael Pinsker - Reducts of Ramsey structures
Please select which format for which you are requesting permissions.