dc.creator | Ferreirós Domínguez, José Manuel | |
dc.date.accessioned | 2016-03-03T15:00:08Z | |
dc.date.available | 2016-03-03T15:00:08Z | |
dc.date.issued | 2011 | |
dc.identifier.issn | 1079-8986 | |
dc.identifier.uri | http://hdl.handle.net/11441/36830 | |
dc.description.abstract | Set theory deals with the most fundamental existence questions in mathematics– questions which affect other areas of mathematics, from the real numbers to structures of all kinds, but which are posed as dealing with the existence of sets. Especially noteworthy are principles establishing the existence of some infinite sets, the so-called “arbitrary sets.” This paper is devoted to an analysis of the motivating goal of studying arbitrary sets, usually referred to under the labels of quasi-combinatorialism or combinatorial maximalist. After explaining what is meant by definability and by “arbitrariness”, a first historical part discusses the strong motives why set theory was conceived as a theory of arbitrary sets, emphasizing connections with analysis and particularly with the continuum of real numbers. Judged from this perspective, the axiom of choice stands out as a most central and natural set-theoretic principle (in the sense of quasi-combinatorialism). A second part starts by considering the potential mismatch between the formal systems of mathematics and their motivating conceptions, and proceeds too fferan elementary discussion of how far the Zermelo–Fraenkel system goes in laying out principles that capture the idea of “arbitrary sets”. We argue that the theory is rather poor in this respect. | es |
dc.description.sponsorship | Junta de Andalucía P07-HUM-02594 | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología BFF2003-09579-C03 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Association for Symbolic Logic, Cambridge University Press | es |
dc.relation.ispartof | The Bulletin of Symbolic Logic, 17(3), 361-393 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | On arbitrary sets and ZFC | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia | es |
dc.relation.projectID | P07-HUM-02594 | es |
dc.relation.projectID | BFF2003-09579-C03 | es |
dc.relation.publisherversion | http://projecteuclid.org/download/pdf_1/euclid.bsl/1309952318 | es |
dc.relation.publisherversion | http://dx.doi.org/10.2178/bsl/1309952318 | |
dc.identifier.doi | 10.2178/bsl/1309952318 | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/36830 | |
dc.contributor.funder | Junta de Andalucía | |
dc.contributor.funder | Ministerio de Ciencia y Tecnología (MCYT). España | |