English
Related papers

Related papers: Adding a lot of Cohen reals by adding a few

200 papers

Let $\mathcal{E}$ denote the $\sigma$-ideal generated by closed null sets on the reals. We show that the uniformity and the covering of $\mathcal{E}$ can be added to Cicho\'n's maximum with distinct values. More specifically, it is…

Logic · Mathematics 2025-07-02 Takashi Yamazoe

Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at $\kappa$---which we denote $\Diamond_{\text{Lav}}(\kappa)$---asserting the existence of a single function from $\kappa \to H_\kappa$ that behaves much like a…

Logic · Mathematics 2014-05-13 Sean D. Cox

We prove that there are infinitely many integers $n$ such that the total number of prime factors of $(n+h_{1})(n+h_{2})...(n+h_{\kappa})$ is at most $(1/2)\kappa\log\kappa+O(\kappa)$, provided $\kappa$ is sufficiently large.

Number Theory · Mathematics 2011-11-09 C. S. Franze

In this paper we study the following hypergeometric polynomials: $\mathcal{P}_n(x) = \mathcal{P}_n(x;\alpha,\beta,\delta_1,\dots,\delta_\rho,\kappa_1,\dots,\kappa_\rho) = {}_{\rho+2} F_{\rho+1}…

Classical Analysis and ODEs · Mathematics 2023-08-08 Sergey M. Zagorodnyuk

The relations M(kappa,lambda,mu)->B [resp. B(sigma)] meaning that if A subset [kappa]^lambda with |A|=kappa is mu-almost disjoint then A has property B [resp. has a sigma-transversal] had been introduced and studied under GCH by Erdos and…

Logic · Mathematics 2007-05-23 Andras Hajnal , Istvan Juhasz , Saharon Shelah

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

Logic · Mathematics 2017-02-21 Shimon Garti

We show that an embedding of a fixed 0-dimensional compact space $K$ into the \v{C}ech--Stone remainder $\omega^*$ as a nowhere dense P-set is the unique generic limit, a special object in the category consisting of all continuous maps from…

General Topology · Mathematics 2024-07-09 Wiesław Kubiś , Andrzej Kucharski , Sławomir Turek

Vladimir Kanovei \cite{zbMATH01335192} developed the technique of geometric iteration and used it to prove that the perfect set forcing can be iterated with countable supports along any partial order, while preserving $\aleph_1$. In…

Logic · Mathematics 2026-04-14 Mirna Džamonja

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…

Logic · Mathematics 2011-11-04 Arthur Apter , Victoria Gitman , Joel David Hamkins

Let $M$ denote the Merimovich's model in which for each infinite cardinal $\lambda, 2^\lambda=\lambda^{+3}$. We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall \lambda…

Logic · Mathematics 2021-02-02 Mohammad Golshani

We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the…

Logic · Mathematics 2016-11-28 Joerg Brendle , Andrew Brooke-Taylor , Sy-David Friedman , Diana Montoya

Motivated by the goal of constructing a model in which there are no $\kappa$-Aronszajn trees for any regular $\kappa>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square…

Logic · Mathematics 2020-05-22 Omer Ben-Neria , Chris Lambie-Hanson , Spencer Unger

For many classes of models, there are universal members in any cardinal $\lambda$ which "essentially satisfies GCH", i.e. $\lambda = 2^{< \lambda}$, in particular for the class of a complete first order $T$ (well, if at least $\lambda >…

Logic · Mathematics 2026-03-05 Saharon Shelah

Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V…

Logic · Mathematics 2007-05-23 Jindrich Zapletal

For a commutative local ring $R$, consider (noncommutative) $R$-algebras $\Lambda$ of the form $\Lambda = End_R(M)$ where $M$ is a reflexive $R$-module with nonzero free direct summand. Such algebras $\Lambda$ of finite global dimension can…

Commutative Algebra · Mathematics 2007-05-23 Graham J. Leuschke

We develop the theory of layered posets, and use the notion of layering to prove a new iteration theorem (Theorem 6): if $\kappa$ is weakly compact then any universal Kunen iteration of $\kappa$-cc posets (each possibly of size $\kappa$) is…

Logic · Mathematics 2019-09-18 Sean D. Cox

In a recent preprint, Garti and Shelah state that the techniques of a paper of Dzamonja and Shelah can be used to force u_kappa to be kappa^+ for supercompact kappa with 2^kappa arbitrarily large. In this expository article we spell out the…

Logic · Mathematics 2014-09-26 Andrew D. Brooke-Taylor

We construct a model of ZFC with a singular cardinal $\kappa$ such that every subset of $\kappa$ in $L(V_{\kappa+1})$ has both the $\kappa$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of…

Logic · Mathematics 2024-08-13 Vincenzo Dimonte , Alejandro Poveda , Sebastiano Thei

Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical…

Logic · Mathematics 2022-06-22 Vincenzo Dimonte

Let $V$ be a finite dimensional complex vector space and $W\subseteq \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. We prove that $V^{\reg}$ is a $K(\pi,1)$ space. This…

Geometric Topology · Mathematics 2014-01-24 David Bessis
‹ Prev 1 8 9 10 Next ›