Holy, P. (2026). An axiomatic approach to symmetric extensions. Pacific Journal of Mathematics, 340(2), 293–307. https://doi.org/10.2140/pjm.2026.340.293
We provide a collection of natural axioms centered around the symmetric forcing theorem, which yield the concept of symmetric extensions, avoiding the technicalities involved in standard presentations.