An axiomatic approach to forcing and generic extensions
This paper provides a conceptual analysis of forcing and generic extensions. Our goal is to give general axioms for the concept of standard forcing-generic extension and to show that the usual (poset) constructions are unified and explained as realizations of this concept. According to our approach,...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Académie des sciences
2020-10-01
|
| Series: | Comptes Rendus. Mathématique |
| Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.97/ |