# Tagged Questions

**5**

votes

**1**answer

449 views

### What can be done with computability logic that previous logic systems can't?

I've been reading a lot about computability logic lately and I'm superficially aware that it unifies classical, intuitionistic and linear logics.
What I'm seeking to know is:
Can computability logic ...

**3**

votes

**1**answer

219 views

### Indeterminacy of long games

Hello, all,
Several months ago I sat in on a seminar on AD+, which was incredibly wonderful even though I could barely follow it at all. AD+ is a technical variant of AD, the axiom of determinacy, ...

**5**

votes

**1**answer

349 views

### Resources-Aware Combinatorial Game Theory

First of all, I preemptively apologize if my question happens to be naive, I am no expert of CGT (or general game theory, for that matter).
Now the question:
**is there such a thing as the study of ...

**2**

votes

**2**answers

613 views

### Games of imperfect information (e.g. Blackwell's games) in Set Theory?

Hello,
Intro about standard two player games
Gale-Stewart games are the well-known games played by two Players $I$ and $II$, which in turn play natural numbers for infinitely many ($\omega$) steps. ...

**4**

votes

**1**answer

287 views

### Subsets of sequences of natural numbers vs. strategies under ZFC

This question is related to a previous question of mine:
Determinacy interchanging the roles of both players
Given any set A of sequences of natural numbers, every strategy (no matter for which ...

**7**

votes

**4**answers

1k views

### Infinite games: are they well defined?

It is just my curiosity about this question where we have an infinite game and (according to the answers) winning strategies for both players. I am familiar with terminating games only, and I am ...