Top network posts
- 37 complete, finitely axiomatizable, theory with 3 countable models
- 8 counterexample to the omitting types in uncountable language
- 8 Superimpose LaTeX / TeX output over a large PDF file
- 7 Indiscernible subsequences
- 6 Elimination of the quantifier "there are infinitely many"
- 6 A Parliament with many Houses with restricted competence
- 5 how to pass the content of the TeX variable to Lua
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Apr 4 '18