19
The Theory T
•
Let T be the set of all extension axioms
–
Studied by Gaifman
•
•
Is T consistent ?
–
In a model of T the duplicator
always
wins [ why ? ]
•
•
Does it have finite models ?
•
•
Does it have infinite models ?