IMSc Library catalog › Details for: Model theoretic methods in finite combinatorics :

Normal view MARC view ISBD view

Model theoretic methods in finite combinatorics : [electronic resource] AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors.

By: AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics (2009 : Washington, D.C.)Contributor(s): Grohe, M. (Martin) | Makowsky, Johann A, 1948- | American Mathematical Society | Association for Symbolic LogicMaterial type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 558.Publication details: Providence, R.I. : American Mathematical Society, c2011Description: 1 online resource (viii, 519 p. : ill.)ISBN: 9780821882375 (online)Subject(s): Finite model theory -- Congresses | Combinatorial probabilities -- Congresses | Mathematics | Biology and other natural sciencesAdditional physical formats: Model theoretic methods in finite combinatorics :DDC classification: 519.2 LOC classification: QA9.7 | .M583 2009Other classification: 03-02 | 03-06 | 05-02 | 05-06 | 68-02 | 68-06 Online resources: Contents | Contents

Contents:

Application of logic to combinatorial sequences and their recurrence relations / Eldar Fischer, Tomer Kotek and Johann A. Makowsky -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11047 Spectra and systems of equations / Jason P. Bell, Stanley N. Burris and Karen Yeats -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11048 Compton's method for proving logical limit laws / Jason P. Bell and Stanley N. Burris -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11049 Logical complexity of graphs: A survey / Oleg Pikhurko and Oleg Verbitsky -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11050 Methods for algorithmic meta theorems / Martin Grohe and Stephan Kreutzer -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11051 On counting generalized colorings / Tomer Kotek, Johann A. Makowsky and Boris Zilber -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11052 Counting homomorphisms and partition functions / Martin Grohe and Marc Thurley -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11053 Some examples of universal and generic partial orders / Jan Hubi�cka and Jaro�slav Ne�set�ril -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11054 Two problems on homogeneous structures, revisited / Gregory Cherlin -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11055 On symmetric indivisbility of countable structures / Assaf Hasson, Menachem Kojman and Alf Onshuus -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11056 Partitions and permutation groups / Andreas Blass -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11060 (Un)countable and (non)effective versions of Ramsey's theorem / Dietrich Kuske -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11057 Reducts of Ramsey structures / Manuel Bodirsky and Michael Pinsker -- http://www.ams.org/conm/558/ http://dx.doi.org/10.1090/conm/558/11058

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 32 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK11840

Includes bibliographical references.

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

http://www.ams.org/conm/558/

http://dx.doi.org/10.1090/conm/558/11047

http://www.ams.org/conm/558/

http://dx.doi.org/10.1090/conm/558/11048

http://www.ams.org/conm/558/

http://dx.doi.org/10.1090/conm/558/11049

http://www.ams.org/conm/558/

http://dx.doi.org/10.1090/conm/558/11050

http://www.ams.org/conm/558/

http://dx.doi.org/10.1090/conm/558/11051

http://www.ams.org/conm/558/

http://dx.doi.org/10.1090/conm/558/11052