The unstable formula theorem revisited via algorithms

Open in new window