TY  - JOUR
AU  - Freire, Rodrigo A.
TI  - An axiomatic approach to forcing and generic extensions
JO  - Comptes Rendus. Mathématique
PY  - 2020
SP  - 757
EP  - 775
VL  - 358
IS  - 6
PB  - Académie des sciences, Paris
UR  - http://www.numdam.org/articles/10.5802/crmath.97/
DO  - 10.5802/crmath.97
LA  - en
ID  - CRMATH_2020__358_6_757_0
ER  -