| Campo DC | Valor | Idioma |
|---|
| dc.contributor.author | Freire, Rodrigo de Alvarenga | - |
| dc.date.accessioned | 2021-01-12T19:02:44Z | - |
| dc.date.available | 2021-01-12T19:02:44Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.citation | FREIRE, Rodrigo A. An axiomatic approach to forcing and generic extensions. Comptes Rendus Mathématique, v. 358, n. 6, p. 757-775, 2020. DOI: https://doi.org/10.5802/crmath.97. Disponível em: https://comptes-rendus.academie-sciences.fr/mathematique/item/CRMATH_2020__358_6_757_0/. Acesso em: 12 jan. 2020. | pt_BR |
| dc.identifier.uri | https://repositorio.unb.br/handle/10482/39890 | - |
| dc.language.iso | Inglês | pt_BR |
| dc.publisher | Centre Mersenne; Académie des sciences, Paris | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.title | An axiomatic approach to forcing and generic extensions | pt_BR |
| dc.title.alternative | Une approche axiomatique du forcing et des extensions génériques | pt_BR |
| dc.type | Artigo | pt_BR |
| dc.subject.keyword | Axiomas | pt_BR |
| dc.subject.keyword | Matemática | pt_BR |
| dc.subject.keyword | Lógica | pt_BR |
| dc.rights.license | © Académie des sciences, Paris and the authors, 2020. Some rights reserved. (CC BY) - This article is licensed under the Creative Commons Attribution 4.0 International License. http://creativecommons.org/licenses/by/4.0/ | pt_BR |
| dc.identifier.doi | https://doi.org/10.5802/crmath.97 | pt_BR |
| dc.description.abstract1 | 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 groundcontrolled 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. | pt_BR |
| dc.description.abstract3 | Cet article présente une analyse conceptuelle du forcing et des extensions génériques. Notre objectif
est de donner des axiomes généraux pour le concept d’extension forcing-générique standard, et de montrer
que les constructions habituelles sont unifiées et expliquées comme étant des réalisations de ce concept.
Selon notre approche, l’idée-clé sous-tendant le forcing et les extensions génériques est que ces dernières
sont des adjonctions uniformes qui sont contrôlées par le forcing, ainsi le forcing n’est rien de plus que ce
contrôle. Comme conséquence de notre axiomatisation de cette idée, on dérive les définitions habituelles du
forcing et de la généricité. | pt_BR |
| Aparece nas coleções: | Artigos publicados em periódicos e afins
|
