Apparently, this user prefers to keep an air of mystery about them.
8 If a theory has a countable $\omega$-saturated model does it need to have only countable many countable models? feb 16 '13
7 Non-Isomorphic Ultrapowers jan 17 '13
5 A first order sentence such that the finite Spectrum of that sentence is the prime numbers mar 20 '11
5 Algebraic Closure of Puiseux Series may 24 '11
5 Let $A$ be a symmetric subset of a group $G$ such that $A$ contains the identity, and $A$ is covered by some translation. Is then $A$ a subgroup? jan 25 '12
4 Tropical Lifting Lemma (Puiseux Series) apr 7 '11
3 Tarski-Vaught test for $\preceq$ reduction jan 28 '13