10 papers
Existence of bases implies the axiom of choice, a foundation-free proof
Gabriel Fernandes, Renan Maneli Mezabarba, Vinicius de Oliveira Rodrigues
We prove that, in Zermelo--Fraenkel set theory with the axiom of Foundation removed, the statement that every vector space has a basis implies the Axiom of Choice, concluding that…
A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC
Mateus Jesus de Arruda Campos, Gabriel Fernandes, Vinicius de Oliveira Rodrigues
The fundamental theorem of statistical learning states that, under suitable measurability assumptions, finite Vapnik--Chervonenkis (VC) dimension guarantees that every proper consi…
The Wallace problem and countably compact torsion-free Abelian groups in ZFC
Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues
We prove in ZFC that every torsion-free Abelian group of cardinality admits a Hausdorff countably compact group topology without nontrivial convergent sequences. In p…
Countable compactness in powers of topological groups and Ramsey theoretic variations of compactness
Vinicius de Oliveira Rodrigues, Paul Jan Szeptycki, Artur Hideyuki Tomita
Countable compactness need not be preserved by finite products. Motivated by compactness notions for maps indexed by finite subsets of , we introduce cascade countable compactne…
Determining the Rearrangement Number
Vinicius de Oliveira Rodrigues
The rearrangement number is the least cardinality of a collection of permutations of such that every conditionally convergent real series is disrupted by some p…
Almost Disjointness Principles and -Space Cardinals
Vinicius de Oliveira Rodrigues
Banakh and Bazylevych introduced separation-axiom variants , for , of the cardinal , together with a cardinal lying…