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.)

On Existence in Set Theory, Part II: Relative Productivity

Texto completo
Autor(es):
Freire, Rodrigo A. [1]
Número total de Autores: 1
Afiliação do(s) autor(es):
[1] Univ Estadual Campinas, Ctr Log Epistemol & Hist Sci, BR-13083859 Sao Paulo - Brazil
Número total de Afiliações: 1
Tipo de documento: Artigo Científico
Fonte: NOTRE DAME JOURNAL OF FORMAL LOGIC; v. 55, n. 1, p. 91-105, 2014.
Citações Web of Science: 0
Resumo

The present paper continues the investigation initiated in an earlier work. After a short introduction, the notion of relative productivity is defined and a technical apparatus is developed in order to evaluate the classification of the axioms previously obtained. Some results on the semilattice of simple relative degrees are proved at the end of Section 2. Section 3 adds some concluding remarks. (AU)

Processo FAPESP: 09/10751-8 - O significado das sentenças aritméticas, a definibilidade conjuntista e o papel da teoria das categorias na semântica de sistemas lógicos
Beneficiário:Rodrigo de Alvarenga Freire
Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado