Related papers: Borel sets without perfectly many overlapping tran…

Let $\Omega$ be a Polish space with Borel $\sigma$-field $\mathcal{F}$ and countably generated sub $\sigma$-field $\mathcal{G}\subset\mathcal{F}$. Denote by $\mathcal{L}(\mathcal{F})$ the set of all bounded $\mathcal{F}$-upper semianalytic…

We prove that, for every compact spaces $K_1,K_2$ and compact group $G$, if both $K_1$ and $K_2$ map continuously onto $G$, then the Banach space $C(K_1 \times K_2)$ contains a complemented subspace isometric to the Banach space $C(G)$.…

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…

The concepts of a conditional set, a conditional inclusion relation and a conditional Cartesian product are introduced. The resulting conditional set theory is sufficiently rich in order to construct a conditional topology, a conditional…

Let $\mbox{TFAG}$ be the theory of torsion-free abelian groups. We show that if there is no countable transitive model of $ZFC^- + \kappa(\omega)$ exists, then $\mbox{TFAG}$ is $a \Delta^1_2$-complete; in particular, this is consistent with…

We prove the existence of sampling sets and interpolation sets near the critical density, in Paley Wiener spaces of a locally compact abelian (LCA) group G . This solves a problem left by Gr\"ochenig, Kutyniok, and Seip in the article:…

Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to…

We show that if $\lambda_1,\ldots,\lambda_k$ are algebraic numbers, then $$|A+\lambda_1\cdot A+\dots+\lambda_k\cdot A|\geq H(\lambda_1,\ldots,\lambda_k)|A|-o(|A|)$$ for all finite subsets $A$ of $\mathbb{C}$, where…

We show that for any Polish group $G$ and any countable normal subgroup $\Gamma\triangleleft G$, the coset equivalence relation $G/\Gamma$ is a hyperfinite Borel equivalence relation. In particular, the outer automorphism group of any…

We investigate the effect of adding $\omega_2$ Cohen reals on graphs on $\omega_2$, in particular we show that $\omega_2 \to (\omega_2, \omega : \omega)^2$ holds after forcing with $\mathsf{Add}(\omega, \omega_2)$ in a model of…

We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…

We solve a fundamental question posed in Frohardt's 1988 paper [8] on finite $2$-groups with Kantor familes, by showing that finite groups $K$ with a Kantor family $(\mathcal{F},\mathcal{F}^*)$ having distinct members $A, B \in \mathcal{F}$…

We show that even for subsets X of the real line which do not contain perfect sets, the Hurewicz property does not imply the property S1(Gamma,Gamma), asserting that for each countable family of open gamma-covers of X, there is a choice…

The Hochschild and (cotriple) cyclic homologies of crossed modules of (not-necessarily-unital) associative algebras are investigated. Wodzicki's excision theorem is extended for inclusion crossed modules in the category of crossed modules…

We develop the framework of $\alpha$-largeness introduced by Ketonen and Solovay, by proving a partition theorem for $\alpha$-large sets with $\alpha < \epsilon_0$ which generalizes theorems from Ketonen and Solovay and from Bigorajska and…

Let $H$ be a $k$-partite $k$-graph with $n$ vertices in each partition class, and let $\delta_{k-1}(H)$ denote the minimum co-degree of $H$. We characterize those $H$ with $\delta_{k-1}(H) \geq n/2$ and with no perfect matching. As a…

We consider the translational hull $\Omega(I)$ of an arbitrary subsemigroup $I$ of an endomorphism monoid $\mathrm{End}(A)$ where $A$ is a universal algebra. We give conditions for every bi-translation of $I$ to be realised by…

This article continues Ros{\l}anowski and Shelah math.LO/9906024, math.LO/0508272, math.LO/0210205, math.LO/0611131 and math.LO/0605067. We introduce here a new property of <lambda-strategically complete forcing notions which implies that…

We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only…