Index of Ehrenfeucht Fraïssé Games: The real numbers, standard algebraic notation

Click an expression to play one.
(You may need a partner.)

1. 0<1

2. There is some x such that 0<x∙x

3. For every x, x<x+x

4. There is some x such that for every y, x+y=1

5. For every x, there is some y such that x∙y=1

6. For every x, there is some y such that x+y=0

7. For every x, for every y, there is some w such that x∙y=w

8. For every x, for every y, there is some w such that x=y∙w

9. For every x, for every y, there is some w such that ⌉x=0 → x∙w+y=0