Related papers: Point-cofinite covers in the Laver model

We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal,…

Assuming the existence of a strong cardinal $\kappa$, a weakly compact cardinal $\lambda$ above it and $\gamma > \lambda,$ we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any given cofinality $\delta$,…

Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(Q^{cf}_C) has additional nice properties: it has homogeneous model existence property.

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a…

We continue the investigations in the author's book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S_{<= aleph_0}(kappa), subseteq) for kappa real valued measurable (Section 3), densities of box…

This note describes a unified approach to several superrigidity results, old and new, concerning representations of lattices into simple algebraic groups over local fields. For an arbitrary group $\Gamma$ and a $\Gamma$-boundary $B$ we…

We improve Galvin's Theorem for ultrafilters which are p-point limits of p-points. This implies that in all the canonical inner models up to a superstrong cardinal, every $\kappa$-complete ultrafilter over a measurable cardinal $\kappa$…

Let X be a compact Kahler manifold with negative sectional curvature and residually finite fundamental group. Then its universal covering is a bounded domain in an affine space.

We prove that almost any pair of real numbers a,b, satisfies the following inhomogeneous uniform version of Littlewood's conjecture: (*) forall x,y in R, liminf_{|n|\to\infty} |n|<na - x> <nb - y> = 0, where <-> denotes the distance from…

A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs).…

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…

A subset $A$ of a Boolean algebra $B$ is said to be $(n,m)$-reaped if there is a partition of unity $P \subset B$ of size $n$ such that the cardinality of $\{b \in P: b \wedge a \neq \emptyset\}$ is greater than or equal to $m$ for all…

We consider the finite $W$-algebra $U(\g,e)$ associated to a nilpotent element $e \in \g$ in a simple complex Lie algebra $\g$ of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem, we verify a…

We generalize two results about subgroups of multiplicative group of finite field of prime order. In particular, the lower bound on the cardinality of the set of values of polynomial $P(x,y)$ is obtained under the certain conditions, if…

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…

Let $\Gamma$ be the unit circle, $A(\Gamma)$ the Wiener algebra of continuous functions whose series of Fourier coefficients are absolutely convergent, and $A^+$ the subalgebra of $A(\Gamma)$ of functions whose negative coefficients are…

A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property…

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…

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

We prove that every Kaehler solvmanifold has a finite covering whose holomorphic reduction is a principal bundle. An example is given that illustrates the necessity, in general, of passing to a proper covering. We also answer a stronger…