Apparently, this user prefers to keep an air of mystery about them.
Top network posts
- 64 complete, finitely axiomatizable, theory with 3 countable models
- 8 Superimpose LaTeX / TeX output over a large PDF file
- 8 counterexample to the omitting types in uncountable language
- 7 Indiscernible subsequences
- 7 Increasing bar width in bar chart using Altair
- 6 Elimination of the quantifier "there are infinitely many"
- 6 A Parliament with many Houses with restricted competence
- View more network posts →