TY  - RPRT
TI  - An axiomatic approach to higher order set theory
AU  - Alec Rhea
PY  - 2022
UR  - https://arxiv.org/abs/2206.10060
ID  - 2206.10060
ER  -