185 research outputs found

    A Generalization of Martin's Axiom

    Get PDF
    We define the ℵ1.5\aleph_{1.5} chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on ω1\omega_1 that don't seem to have been considered in the literature before.Comment: 36 page

    A new foundational crisis in mathematics, is it really happening?

    Full text link
    The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the present crisis is not one. We reiterate a pluralist vision of the foundations of mathematics. The article contains a short survey of the mathematical and historical background needed to understand the main tenets of the foundational issues.Comment: Final versio

    The combinatorics of the Baer-Specker group

    Full text link
    Denote the integers by Z and the positive integers by N. The groups Z^k (k a natural number) are discrete, and the classification up to isomorphism of their (topological) subgroups is trivial. But already for the countably infinite power Z^N of Z, the situation is different. Here the product topology is nontrivial, and the subgroups of Z^N make a rich source of examples of non-isomorphic topological groups. Z^N is the Baer-Specker group. We study subgroups of the Baer-Specker group which possess group theoretic properties analogous to properties introduced by Menger (1924), Hurewicz (1925), Rothberger (1938), and Scheepers (1996). The studied properties were introduced independently by Ko\v{c}inac and Okunev. We obtain purely combinatorial characterizations of these properties, and combine them with other techniques to solve several questions of Babinkostova, Ko\v{c}inac, and Scheepers.Comment: To appear in IJ

    Combinatorics of Open Covers VI: Selectors for Sequences of Dense Sets

    Get PDF
    We consider the following two selection principles for topological spaces: [Principle 1:] { For each sequence of dense subsets, there is a sequence of points from the space, the n-th point coming from the n-th dense set, such that this set of points is dense in the space; [Principle 2:]{ For each sequence of dense subsets, there is a sequence of finite sets, the n-th a subset of the n-th dense set, such that the union of these finite sets is dense in the space. We show that for separable metric space X one of these principles holds for the space C_p(X) of realvalued continuous functions equipped with the pointwise convergence topology if, and only if, a corresponding principle holds for a special family of open covers of X. An example is given to show that these equivalences do not hold in general for Tychonoff spaces. It is further shown that these two principles give characterizations for two popular cardinal numbers, and that these two principles are intimately related to an infinite game that was studied by Berner and Juhasz

    Medial axis and singularities

    Get PDF
    We correct one erroneous statement made in our recent paper "Medial axis and singularities".Comment: Some minor misprints are corrected and one final remark is adde

    Double Beta Decay: Historical Review of 75 Years of Research

    Full text link
    Main achievements during 75 years of research on double beta decay have been reviewed. The existing experimental data have been presented and the capabilities of the next-generation detectors have been demonstrated.Comment: 25 pages, typos adde

    LETTER TO THE EDITOR: Efficient measurement of the percolation threshold for fully penetrable discs

    Full text link
    We study the percolation threshold for fully penetrable discs by measuring the average location of the frontier for a statistically inhomogeneous distribution of fully penetrable discs. We use two different algorithms to efficiently simulate the frontier, including the continuum analogue of an algorithm previously used for gradient percolation on a square lattice. We find that φc = 0.676 339±0.000 004, thus providing an extra significant digit of accuracy to this constant.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/48838/2/a042l4.pd
    • …
    corecore