Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Infinite Forcing and the Generic Multiverse

Texto completo
Autor(es):
Venturi, Giorgio
Número total de Autores: 1
Tipo de documento: Artigo Científico
Fonte: STUDIA LOGICA; v. 108, n. 2, p. 277-290, APR 2020.
Citações Web of Science: 0
Resumo

In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles. (AU)

Processo FAPESP: 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível
Beneficiário:Giorgio Venturi
Modalidade de apoio: Auxílio à Pesquisa - Jovens Pesquisadores