Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Samuel G. da Silva"'
Autor:
Samuel G. da Silva
Publikováno v:
Logic Journal of the IGPL. 29:783-797
The method of morphisms is a well-known application of Dialectica categories to set theory (more precisely, to the theory of cardinal invariants of the continuum). In a previous work, Valeria de Paiva and the author have asked how much of the Axiom o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::afe74afe0dd74522580f384af759169a
https://doi.org/10.1093/jigpal/jzaa023
https://doi.org/10.1093/jigpal/jzaa023
Autor:
Joan Bagaria, Samuel G. da Silva
Publikováno v:
Topology and its Applications. 323:108276
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a7fbdb0cb19300fa6536174a813d995
https://doi.org/10.1016/j.topol.2022.108276
https://doi.org/10.1016/j.topol.2022.108276
Autor:
Samuel G. da Silva
Publikováno v:
Reports on Mathematical Logic. 54:101-119
In this work, we consider two families of incidence problems, C1 and C2,, which are related to real numbers and countable subsets of the real line. Instances of problems of C1 are as follows: given a real number x, pick randomly a countable set of re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ff7b219a0150742fe36ed1f1aa74c29
https://doi.org/10.4467/20842589rm.19.006.10654
https://doi.org/10.4467/20842589rm.19.006.10654
Autor:
Samuel G. da Silva
Publikováno v:
Archive for Mathematical Logic. 58:353-358
In this note we show that the Axiom of Countable Choice is equivalent to two statements from the theory of pseudometric spaces: the first of them is a well-known characterization of uniform continuity for functions between (pseudo)metric spaces, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0a5168ac400b3ceac61b37cb1be8959
https://doi.org/10.1007/s00153-018-0643-2
https://doi.org/10.1007/s00153-018-0643-2
Autor:
Valeria de Paiva, Samuel G. da Silva
Publikováno v:
Logic Journal of the IGPL. 25:585-603
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e7d0e275c97aef98f2fe98e8c6428ca
https://doi.org/10.1093/jigpal/jzx016
https://doi.org/10.1093/jigpal/jzx016
Publikováno v:
Topology and its Applications. 221:476-490
This paper is an enlarged, revised and improved version of a poster presented by the second author at the 2013 Brazilian Conference on General Topology and Set Theory (STW 2013, Maresias, Brazil, 2013). Our main goal is to investigate – within the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5222c014a423922d29c1ebc03f6c0a6
https://doi.org/10.1016/j.topol.2017.02.031
https://doi.org/10.1016/j.topol.2017.02.031
Autor:
Samuel G. da Silva
Publikováno v:
Archive for Mathematical Logic. 55:867-872
In this note, two well-known topological facts regarding cofinite and cocountable-like topologies over uncountable sets are shown to be equivalent either to the Countable Union Theorem or to the Countable Union Theorem for countable families of finit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::577c2caa1b0294d09b45db1c942ef0d6
https://doi.org/10.1007/s00153-016-0504-9
https://doi.org/10.1007/s00153-016-0504-9
Autor:
Samuel G. da Silva
Publikováno v:
Colloquium Mathematicum. 141:199-208
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ffc5e6c682e97917c2d5248773bf61c
https://doi.org/10.4064/cm141-2-5
https://doi.org/10.4064/cm141-2-5
Publikováno v:
LSFA
This note sets down some facts about natural number objects in the Dialectica category Dial2(Sets). Natural number objects allow us to model Gödel's System T in an intrinsically logical fashion. Gödel's Dialectica Interpretation is a powerful tool
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0cc4475137bf9b1d4011d7ea1ae939f
Autor:
Samuel G. da Silva
Publikováno v:
Acta Mathematica Hungarica. 142:420-432
We investigate a selective version of property (a) and prove a number of results showing that, under certain set theoretical conditions, (a) spaces and selectively (a) spaces behave in a very similar way, at least for separable spaces. Several result
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0623450f472be0a32f4fa2f59104b383
https://doi.org/10.1007/s10474-013-0372-2
https://doi.org/10.1007/s10474-013-0372-2