hsfzLZH1's Homepage
2026
- Swapping symmetric powers: the sixth case and a quadratic bound
- Finite lattices that no finite algebra can realize
- A common home for finite symmetric tensor categories
- Eventual uniqueness of large models, without a prescribed threshold
- The ordering of computational difficulty has no hidden symmetries
- Encoding every accepting computation by exactly one Diophantine witness
- Counting without choices cannot express every polynomial-time query
- Comparing a partition’s size does not recover the Axiom of Choice
- If every legal expression can normalize, every reduction strategy terminates
- Round holes for every planar domain