I've recently been introduced (at a superficial 'wiki' level) to the Axiom of determinacy and Descriptive set theory.

While looking up Witness_(mathematics), I found the link to Game semantics.

Are researchers in these two disciplines, set theory and game semantics, able to 'jam together'?

Please excuse the vagueness of this soft question. But what can you expect from a wiki-dabbler?

Just hoping it can generate some interesting comments/answers so I can learn something...


Yes, there is definitely a lot of interaction here. Once we move beyond first-order logic, semantics in general becomes very set-theoretic. So while studying game semantics for weak systems need not involve set theory, beyond a certain point we're arguably part of set theory. Vaanaanen's paper "Games and Trees in Infinitary Logic: A Survey" might be a good place to start; the epic volume "Model-theoretic logics" edited by Barwise and Feferman also has a great deal of information on the topic (and really everything else relating to logics beyond first-order), especially the chapter on game quantification (noting in passing that AD itself is essentially just De Morgan's law for the game quantifier, for countable structures).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.