TY  - RPRT
TI  - An axiom of unique reflection
AU  - Nina Lebedeva
AU  - Anton Petrunin
PY  - 2026
UR  - https://arxiv.org/abs/2611.07099
ID  - 2611.07099
ER  -