29 research outputs found

    On the decomposition of sets of reals to borel sets

    Get PDF

    Indestructibility of Vopenka's Principle

    Full text link
    We show that Vopenka's Principle and Vopenka cardinals are indestructible under reverse Easton forcing iterations of increasingly directed-closed partial orders, without the need for any preparatory forcing. As a consequence, we are able to prove the relative consistency of these large cardinal axioms with a variety of statements known to be independent of ZFC, such as the generalised continuum hypothesis, the existence of a definable well-order of the universe, and the existence of morasses at many cardinals.Comment: 15 pages, submitted to Israel Journal of Mathematic

    Rosser sentences

    No full text

    Primality Testing

    No full text

    Cardinality-dependent properties of topological spaces

    No full text

    Thin maximal antichains in the turing degrees

    No full text
    10.1007/978-3-540-73001-9_17Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4497 LNCS162-16
    corecore