Model theoretic methods in finite combinatorics : AMSASL joint special session, January 58, 2009, Washington, DC
- Providence, R.I. : American Mathematical Society, c2011
- 1 online resource (viii, 519 p. : ill.)
- Contemporary mathematics v. 558 10983627 .
Includes bibliographical references.
Application of logic to combinatorial sequences and their recurrence relations ; Spectra and systems of equations ; Compton's method for proving logical limit laws ; Logical complexity of graphs: A survey ; Methods for algorithmic meta theorems ; On counting generalized colorings ; Counting homomorphisms and partition functions ; Some examples of universal and generic partial orders ; Two problems on homogeneous structures, revisited ; On symmetric indivisbility of countable structures ; Partitions and permutation groups ; (Un)countable and (non)effective versions of Ramsey's theorem ; Reducts of Ramsey structures Eldar Fischer Tomer Kotek and Johann A Makowsky ; Jason P Bell Stanley N Burris and Karen Yeats ; Jason P Bell and Stanley N Burris ; Oleg Pikhurko and Oleg Verbitsky ; Martin Grohe and Stephan Kreutzer ; Tomer Kotek Johann A Makowsky and Boris Zilber ; Martin Grohe and Marc Thurley ; Jan Hubicka and Jaroslav Nesetril ; Gregory Cherlin ; Assaf Hasson Menachem Kojman and Alf Onshuus ; Andreas Blass ; Dietrich Kuske ; Manuel Bodirsky and Michael Pinsker
9780821882375 (online)
Biology and other natural sciences
Combinatorial probabilities
Finite model theory
Mathematics
Includes bibliographical references.
Application of logic to combinatorial sequences and their recurrence relations ; Spectra and systems of equations ; Compton's method for proving logical limit laws ; Logical complexity of graphs: A survey ; Methods for algorithmic meta theorems ; On counting generalized colorings ; Counting homomorphisms and partition functions ; Some examples of universal and generic partial orders ; Two problems on homogeneous structures, revisited ; On symmetric indivisbility of countable structures ; Partitions and permutation groups ; (Un)countable and (non)effective versions of Ramsey's theorem ; Reducts of Ramsey structures Eldar Fischer Tomer Kotek and Johann A Makowsky ; Jason P Bell Stanley N Burris and Karen Yeats ; Jason P Bell and Stanley N Burris ; Oleg Pikhurko and Oleg Verbitsky ; Martin Grohe and Stephan Kreutzer ; Tomer Kotek Johann A Makowsky and Boris Zilber ; Martin Grohe and Marc Thurley ; Jan Hubicka and Jaroslav Nesetril ; Gregory Cherlin ; Assaf Hasson Menachem Kojman and Alf Onshuus ; Andreas Blass ; Dietrich Kuske ; Manuel Bodirsky and Michael Pinsker
9780821882375 (online)
Biology and other natural sciences
Combinatorial probabilities
Finite model theory
Mathematics