| dc.creator | Freire, RA | |
| dc.date | 2012 | |
| dc.date | 2014-07-30T17:47:06Z | |
| dc.date | 2015-11-26T16:50:54Z | |
| dc.date | 2014-07-30T17:47:06Z | |
| dc.date | 2015-11-26T16:50:54Z | |
| dc.date.accessioned | 2018-03-28T23:37:41Z | |
| dc.date.available | 2018-03-28T23:37:41Z | |
| dc.identifier | Notre Dame Journal Of Formal Logic. Duke Univ Press, v. 53, n. 4, n. 525, n. 547, 2012. | |
| dc.identifier | 0029-4527 | |
| dc.identifier | WOS:000311654300006 | |
| dc.identifier | 10.1215/00294527-1722737 | |
| dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/67623 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/67623 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1275849 | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | The aim of the present paper is to provide a robust classification of valid sentences in set theory by means of existence and related notions and, in this way, to capture similarities and dissimilarities among the axioms of set theory. In order to achieve this, precise definitions for the notions of productive and nonproductive assertions, constructive and nonconstructive productive assertions, and conditional and unconditional productive assertions, among others, will be presented. These definitions constitute the result of a semantical analysis of the notions involved. The conceptual clarification developed here results in a classification of valid sentences of set theory that goes against the standard view that extensionality is not an existence assertion. | |
| dc.description | 53 | |
| dc.description | 4 | |
| dc.description | 525 | |
| dc.description | 547 | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description | FAPESP [2009/10751-8] | |
| dc.language | en | |
| dc.publisher | Duke Univ Press | |
| dc.publisher | Durham | |
| dc.publisher | EUA | |
| dc.relation | Notre Dame Journal Of Formal Logic | |
| dc.relation | Notre Dame J. Form. Log. | |
| dc.rights | fechado | |
| dc.source | Web of Science | |
| dc.subject | existence axioms | |
| dc.subject | foundations of set theory | |
| dc.title | On Existence in Set Theory | |
| dc.type | Artículos de revistas | |
