TY  - JOUR
AU  - Rodrigo A. Freire
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
DO  - 10.5802/crmath.97
LA  - en
ID  - CRMATH_2020__358_6_757_0
ER  -