A subset X of the Cantor space, 2^ω, is a lambda-prime-set iff for every countable subset Y of the Cantor space Y is relatively G-delta in X union Y. In this paper we prove two forcing results about lambda-prime-sets. First we show that it is consistent that every lambda-prime-set is a gamma-set. Secondly we show that is independent whether or not every dagger-lambda-set is a lambda-prime-set.
Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly bounded sets is an ideal of subsets of $\mathbb{N}$. We show that an ideal $\mathcal{I}$ is of the form $B({\bf x})$ iff there is a non pathological lower semicontinuous submeasure $φ$ on $\mathbb{N}$ such that $\mathcal{I} =FIN(φ)=\{A\subseteq \mathbb{N}: \;φ(A)<\infty\}$. We address the questions of when $FIN(φ)$ is a tall ideal and has a Borel selector. W…
For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap (eta_beta+B)|>5 for all alpha,beta<lambda, but (2) there is no perfect set of such eta's. The construction closely follows the one from Shelah math.LO/9802134
我们说X x Y满足唯一泛性质（UU）当且仅当存在X x Y中的开集U使得对于Y中的每个开集W，存在U的唯一截面U_x，其中U_x=W.迈克尔Hrusak提出的问题时，X x Y满足UU，并指出，如果Y是紧凑的，那么X必须有一个孤立点。我们证明了以下几点：1.如果Y是局部紧的非紧波兰空间，则C x Y有UU，其中C是康托空间。2.如果Y是波兰的，则B x Y有UU当且仅当Y不是紧的，其中B是Baire空间。3.如果Y是非紧的Polish空间的σ紧子集，则B x Y有UU。
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is necessary).
A definable type of a first-order theory is the same as a section (retraction) of the simplicial path space (decalage) of its space of types viewed as a simplicial topological space; as is well-known, in the category of simplicial sets such sections correspond to homotopies contracting each connected component. Without the simplicial language this is stated in Exercise 8.3.3 in the model theory textbook [Tent-Ziegler], which defines a bijection between the set of all $1$-types definable over a parameter set $B$ and the set of all "coherent" families of continuous sections $π_n:S^T_n(B)\to S^T_…
We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no perfect set P such that |(eta+B) cap (nu+B)|>5 for any distinct eta,nu from P. This answers two questions from our previous works.
In this paper a hypergraph will be identified with the family of its edges. A hypergraph $\mathcal E$ possesses property $C(k,ρ)$ iff $|\bigcap \mathcal E'|<ρ$ for each $\mathcal E'\in {[\mathcal E]}^{k}$. A vertex set $Y\subset \bigcup\mathcal E$ is a "vertex cover" of $\mathcal E$ iff $E\cap Y\ne \emptyset$ for each $E\in \mathcal E$. A vertex cover $Y$ is "minimal" iff no proper subset of $Y$ is vertex cover. If $A$ is a set and $S$ is a set of cardinals, write $$ {[A]}^{S}=\{B\subset A: |B|\in S\}. $$ If $λ$ and $ρ$ are cardinals, $S$ is a set of cardinals, $k\in ω$, then we write $$\mathb…
Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary norms on $\mathbb{R}^d$, and even more generally with respect to general convex sets. We show that for strictly convex sets in $\mathbb{R}^d$, polytopes in $\mathbb{R}^d$, and general convex sets in $…
We discuss two main ways in comparing and evaluating the size of sets: the "Cantorian" way, grounded on the so called Hume principle (two sets have equal size if they are equipotent), and the "Euclidean" way, maintaining Euclid's principle "the whole is greater than the part". The former being deeply investigated since the very birth of set theory, we concentrate here on the "Euclidean" notion of size (numerosity), that maintains the Cantorain defiitions of order, addition and multiplication, while preserving the natural idea that a set is (strictly) larger than its proper subsets. These numer…
The main purpose of this paper is to study \emph{$e$-separable spaces}, originally introduced by Kurepa as $K_0'$ spaces; we call a space $X$ $e$-separable iff $X$ has a dense set which is the union of countably many closed discrete sets. We primarily focus on the behaviour of $e$-separable spaces under products and the cardinal invariants that are naturally related to $e$-separable spaces. Our main results show that the statement "there is a product of at most $\mathfrak c$ many $e$-separable spaces that fails to be $e$-separable'" is equiconsistent with the existence of a weakly compact card…
