Related papers: Menger and consonant sets in the Sacks model
For each $n\geq2$ we construct an unbounded closed pseudoconcave complete pluripolar set $\mathcal E$ in $\mathbb C^n$ which contains no analytic variety of positive dimension (we call it a \textit{Wermer type set}). We also construct an…
We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…
We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak…
We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology.…
Let $d$ be a positive fundamental discriminant, and let $\mathcal{C}_{d}$ be the set of isomorphism classes of cubic number fields of discriminant $d$. For each $K \in \mathcal{C}_{d}$, we construct a weight 1 modular form $f_{K}$ with…
We construct a Borel graph G such that ZF+DC+"There are no maximal independent sets in G" is equiconsistent with ZFC+"There exists an inaccessible cardinal".
In this paper we formulate three problems concerning topological properties of sets generating Borel non-sigma-compact groups. In case of the concrete F_\sigma\delta-subgroup of the Cantor group this gives an equivalent reformulation of the…
We answer a question by Judith Packer about the irreducibility of the wavelet representation associated to the Cantor set. We prove that if the QMF filter does not have constant absolute value, then the wavelet representations is reducible.
We study productive properties of gamma spaces, and their relation to other, classic and modern, selective covering properties. Among other things, we prove the following results: 1. Solving a problem of F. Jordan, we show that for every…
If $F$ and $G$ are iterated function systems, then any infinite word $W$ in the symbols $F$ and $G$ induces a limit set. It is natural to ask whether this Cantor set can also be realized as the limit set of a single $C^{1 + \alpha}$…
A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. In this article, in the absence of the axiom of choice, connections between Loeb and sequential spaces are investigated. Among…
Werner's set-theoretical model is one of the simplest models of CIC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the principle of…
We investigate the lower bound of the consistency strength of $\mathsf{CZF}$ with Full Separation $\mathsf{Sep}$ and a Reinhardt set, a constructive analogue of Reinhardt cardinals. We show that $\mathsf{CZF+Sep}$ with a Reinhardt set…
We extend our previous work arXiv:1012.5721 [hep-th] on the non-compact N=2 SCFT_2 defined as the supersymmetric SL(2,R)/U(1)-gauged WZW model. Starting from path-integral calculations of torus partition functions of both the axial-type…
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…
The ternary Cantor set $\mathcal{C}$, constructed by George Cantor in 1883, is the best known example of a perfect nowhere-dense set in the real line. The present article we study the basic properties $\mathcal{C}$ and also study in detail…
We investigate the mathematics of a model of the human mind which has been proposed by the psychologist Jens Mammen. Mathematical realizations of this model consist of so-called \emph{Mammen spaces}, where a Mammen space is a triple…
In two-dimensional unfoldings of homoclinic tangencies, the parameter space contains codimension one laminations whose leaves consist of maps with invariant non-hyperbolic Cantor sets. These Cantor sets are wild both in the sense of…
A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite…
In \cite{ZW}, the notion of homogenous perfect set as a generalization of Cantor type sets is introduced. Their Hausdorff, lower box-counting, upper box-counting and packing dimensions are studied in \cite{ZW} and \cite{WW}. In this paper,…