Index of Ehrenfeucht Fraïssé Games: Natural Numbers with < and =, QL-style
Click an expression to play one.
(You may need a partner.)
1.
L
(
n
,
o
)
2.
L
(
t
,
o
)
3.
∀
x
∃
y
.
L
(
x
,
y
)
4.
∀
x
(
E
(
x
,
n
) ∨
L
(
n
,
x
))
5.
∃
x
.∃
y
.(
L
(
x
,
y
) &
L
(
y
,
o
))
6.
∃
x
.∀
y
(
E
(
x
,
t
) &
L
(
x
,
y
))