TY  - RPRT
TI  - Implicative models of set theory
AU  - Samuele Maschio
AU  - Alexandre Miquel
PY  - 2023
DO  - 10.46298/entics.12426
UR  - https://arxiv.org/abs/2310.10576
ID  - 2310.10576
ER  -