Julia's Web Log
- Accessible math documents using LaTeX
- Are bi-interpretable theories merely equivalent looks on the same thing? A possible counterexample
- Generalized Ultrapowers
- What are sets?
- #ShutDownSTEM: calculus classes as racial gatekeeper
- The omega-th hod may not satisfy choice
- Recursive saturation, inner models, and forcing
- Truth and potentialism
- Class Collection versus Class Choice
- Every countable model of set theory end-extends to a model of V = L
(For blog posts from before summer 2018, see my old site.)