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/ |
| _version_ | 1797651541846392832 |
|---|---|
| author | Freire, Rodrigo A. |
| author_facet | Freire, Rodrigo A. |
| author_sort | Freire, Rodrigo A. |
| collection | DOAJ |
| description | 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, the basic idea behind forcing and generic extensions is that the latter are uniform adjunctions which are ground-controlled by forcing, and forcing is nothing more than that ground-control. As a result of our axiomatization of this idea, the usual definitions of forcing and genericity are derived. |
| first_indexed | 2024-03-11T16:17:18Z |
| format | Article |
| id | doaj.art-6e31b8c37d72441197fa644866de1d16 |
| institution | Directory Open Access Journal |
| issn | 1778-3569 |
| language | English |
| last_indexed | 2024-03-11T16:17:18Z |
| publishDate | 2020-10-01 |
| publisher | Académie des sciences |
| record_format | Article |
| series | Comptes Rendus. Mathématique |
| spelling | doaj.art-6e31b8c37d72441197fa644866de1d162023-10-24T14:18:58ZengAcadémie des sciencesComptes Rendus. Mathématique1778-35692020-10-01358675777510.5802/crmath.9710.5802/crmath.97An axiomatic approach to forcing and generic extensionsFreire, Rodrigo A.0Department of Philosophy, University of Brasília, BrasilThis 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, the basic idea behind forcing and generic extensions is that the latter are uniform adjunctions which are ground-controlled by forcing, and forcing is nothing more than that ground-control. As a result of our axiomatization of this idea, the usual definitions of forcing and genericity are derived.https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.97/ |
| spellingShingle | Freire, Rodrigo A. An axiomatic approach to forcing and generic extensions Comptes Rendus. Mathématique |
| title | An axiomatic approach to forcing and generic extensions |
| title_full | An axiomatic approach to forcing and generic extensions |
| title_fullStr | An axiomatic approach to forcing and generic extensions |
| title_full_unstemmed | An axiomatic approach to forcing and generic extensions |
| title_short | An axiomatic approach to forcing and generic extensions |
| title_sort | axiomatic approach to forcing and generic extensions |
| url | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.97/ |
| work_keys_str_mv | AT freirerodrigoa anaxiomaticapproachtoforcingandgenericextensions AT freirerodrigoa axiomaticapproachtoforcingandgenericextensions |