{"product_id":"bounded-variable-logics-and-counting-a-study-in-finite-models-hardback-9781107167940","title":"Bounded Variable Logics and Counting; A Study in Finite Models (Hardback) 9781107167940","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eBounded Variable Logics and Counting\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eA Study in Finite Models\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eThis study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eMartin Otto (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9781107167940, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 2 March 2017\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e193 pages, 8 b\/w illus.\u003cbr\u003e23.5 x 15.8 x 1.8 cm, 0.4 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eSince their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e Introduction\u003cbr\u003e 1. Definitions and preliminaries\u003cbr\u003e 2. The games and their analysis\u003cbr\u003e 3. The invariants\u003cbr\u003e 4. Fixed-point logic with counting\u003cbr\u003e 5. Related Lindström extensions\u003cbr\u003e 6. Canonization problems\u003cbr\u003e 7. Canonization for two variables\u003cbr\u003e Bibliography\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Mathematical logic [\u003ca title=\"See our other books on Mathematical logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20logic%20%5BPBCD%5D%22\"\u003ePBCD\u003c\/a\u003e], Philosophy: logic [\u003ca title=\"See our other books on Philosophy: logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Philosophy:%20logic%20%5BHPL%5D%22\"\u003eHPL\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46265650938136,"sku":"9781107167940","price":88.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9781107167940i.jpg?v=1692025326","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/bounded-variable-logics-and-counting-a-study-in-finite-models-hardback-9781107167940","provider":"Freshly Printed Books","version":"1.0","type":"link"}