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 approac...
| Main Author: | Freire, Rodrigo de Alvarenga |
|---|---|
| Format: | Artigo |
| Language: | Inglês |
| Published: |
Centre Mersenne; Académie des sciences, Paris
2021
|
| Subjects: | |
| Online Access: |
https://repositorio.unb.br/handle/10482/39890 https://doi.org/10.5802/crmath.97 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|