Contents
Preface vii
Application of Logic to Combinatorial Sequences and Their Recurrence
Relations
E. Fischer, T. Kotek, and J. A. Makowsky 1
Spectra and Systems of Equations
J. P. Bell, S. N. Burris, and K. Yeats 43
Compton’s Method for Proving Logical Limit Laws
J. P. Bell and S. N. Burris 97
Logical Complexity of Graphs: A Survey
O. Pikhurko and O. Verbitsky 129
Methods for Algorithmic Meta Theorems
M. Grohe and S. Kreutzer 181
On Counting Generalized Colorings
T. Kotek, J. A. Makowsky, and B. Zilber 207
Counting Homomorphisms and Partition Functions
M. Grohe and M. Thurley 243
Some Examples of Universal and Generic Partial Orders
J. Hubicka
ˇ
and J.
Neˇ setˇ
ril 293
Two Problems on Homogeneous Structures, Revisited
G. Cherlin 319
On Symmetric Indivisibility of Countable Structures
A. Hasson, M. Kojman, and A. Onshuus 417
Partitions and Permutation Groups
A. Blass 453
(Un)countable and (Non)effective Versions of Ramsey’s Theorem
D. Kuske 467
Reducts of Ramsey Structures
M. Bodirsky and M. Pinsker 489
v
Previous Page Next Page