Skip navigation
Use este identificador para citar ou linkar para este item: http://repositorio.unb.br/handle/10482/39890
Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ARTIGO_AxiomaticApproachForcing.pdf619,28 kBAdobe PDFVisualizar/Abrir
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorFreire, Rodrigo de Alvarenga-
dc.date.accessioned2021-01-12T19:02:44Z-
dc.date.available2021-01-12T19:02:44Z-
dc.date.issued2020-
dc.identifier.citationFREIRE, 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.urihttps://repositorio.unb.br/handle/10482/39890-
dc.language.isoInglêspt_BR
dc.publisherCentre Mersenne; Académie des sciences, Parispt_BR
dc.rightsAcesso Abertopt_BR
dc.titleAn axiomatic approach to forcing and generic extensionspt_BR
dc.title.alternativeUne approche axiomatique du forcing et des extensions génériquespt_BR
dc.typeArtigopt_BR
dc.subject.keywordAxiomaspt_BR
dc.subject.keywordMatemáticapt_BR
dc.subject.keywordLógicapt_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.doihttps://doi.org/10.5802/crmath.97pt_BR
dc.description.abstract1This 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.abstract3Cet 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

Mostrar registro simples do item Visualizar estatísticas



Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.