New item Free shipping Pay Now
Add this item to Cart for a combined free shipping deal
Click to enlarge photo

Listing Detail Tabs

This item has FREE SHIPPING to any address in NZ

NOTE: Item will ship from our US warehouse. A handling time of 2-4 business days applies for all orders. Delivery will then take 3-10 working days.

Logic and Games on Automatic Structures

Description:
The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and has inspired numerous research directions. In this book, the author extends this connection between logic and games to the class of automatic structures, where relations are recognized by synchronous finite automata. In model-checking games for automatic structures, two coalitions play against each other with a particular kind of hierarchical imperfect information. The investigation of such games leads to the introduction of a game quantifier on automatic structures, which connects alternating automata with the classical model-theoretic notion of a game quantifier. This study is then extended, determining the memory needed for strategies in infinitary games on the one hand, and characterizing regularity-preserving Lindstrom quantifiers on the other.
Counting quantifiers are investigated in depth: it is shown that all countable omega-automatic structures are in fact finite-word automatic and that the infinity and uncountability set quantifiers are definable in MSO over countable linear orders and over labeled binary trees. This book is based on the PhD thesis of Lukasz Kaiser, which was awarded with the E.W. Beth award for outstanding dissertations in the fields of logic, language, and information in 2009. The work constitutes an innovative study in the area of algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It displays very high technical and presentational quality and originality, advances significantly the field of algorithmic model theory and raises intere Please click here to ask a question
Your question and answer privileges have been disabled.
You must log in to view questions and answers on this listing. We recommend reading questions before you make any purchases.
You must log in to ask or answer questions posted. We recommend reading questions before you make any purchases. Available only to approved bidders. You must be an authenticated member to ask questions Find out more about becoming authenticated. Your account is in debt Your current account balance is You must credit your account to use this feature.
Firearms licence #
Firearms licence holder name
First name is required
Last name is required
Your current account balance is Please note you will lose your question and answer privileges if your account is in debt for more than 2 weeks. Credit your account.
I confirm that I am over 18 years old.
To prevent your personal details being misused please do not put emails or phone numbers in questions. Failure to comply may result in the suspension of your account. The seller cannot add a Buy Now price once bidding has started.

Shipping options

  • Free shipping within New Zealand  
  • Store does not allow pick-ups
  • Store location: Auckland City, Auckland, NZ

Payment options

Pay Now and Afterpay include:

Buyer Protection Learn More