Related papers: Identity crises between supercompactness and Vopen…

We present new, streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact…

Zagier introduced the term "strange identity" to describe an asymptotic relation between a certain $q$-hypergeometric series and a partial theta function at roots of unity. We show that behind Zagier's strange identity lies a statement…

Generalizing some earlier techniques due to the second author, we show that Menas' theorem which states that the least cardinal kappa which is a measurable limit of supercompact or strongly compact cardinals is strongly compact but not…

The order parameter in superconductivity of cuprates is investigated in the framework of the Bogoliubov theory. By using a simplifying assumption about the electronic states, it is predicted an effective critical temperature Tc* > Tc…

The similarity problem is one of the most famous open problems in the theory of $C^*$-algebras. We say that a $C^*$-algebra $\cl A$ satisfies the similarity property ((SP) for short) if every bounded homomorphism $u\colon \cl A\to \cl B(H)$…

We propose a novel approach to effectively detect cloned identities of social-sensor cloud service providers (i.e. social media users) in the face of incomplete non-privacy-sensitive profile data. Named ICD-IPD, the proposed approach first…

We show that $n$ is almost perfect if and only if $I(n) - 1 < D(n) \leq I(n)$, where $I(n)$ is the abundancy index of $n$ and $D(n)$ is the deficiency of $n$. This criterion is then extended to the case of integers $m$ satisfying $D(m)>1$.

First we consider families in the hypercube $Q_n$ with bounded VC dimension. Frankl raised the problem of estimating the number $m(n,k)$ of maximal families of VC dimension $k$. Alon, Moran and Yehudayoff showed that…

Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of…

For each natural number $n$, let $C^{(n)}$ be the closed and unbounded proper class of ordinals $\alpha$ such that $V_\alpha$ is a $\Sigma_n$ elementary substructure of $V$. We say that $\kappa$ is a \emph{$C^{(n)}$-cardinal} if it is the…

This work presents a quantitative framework for describing the overcompleteness of a large class of frames. It introduces notions of localization and approximation between two frames $\mathcal{F} = \{f_i\}_{i \in I}$ and $\mathcal{E} =…

We show that if X is a tight subspace of C(K) then X has the Pelczynski property and X^* is weakly sequentially complete. We apply this result to the space U of uniformly convergent Taylor series on the unit circle and using a minimal…

This paper studies the CBP, a model-theoretic property first discovered by Pillay and Ziegler. We first show a general decomposition result of types of canonical bases, which one can think of as a sort of primary decomposition. This…

Uniformly star superparacompactness, which is a topological property between compactness and completeness, can be characterized using finite-component covers and a measure of strong local compactness. Using these finite-component covers and…

The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin saying that $\limsup_n C(x|n)$ equals $C^{0'}(x)$. Then we use the…

This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and M\"obius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a…

This paper studies structural consequences of supercompactness of $\omega_1$ under $\sf{ZF}$. We show that the Axiom of Dependent Choice $(\sf{DC})$ follows from "$\omega_1$ is supercompact". "$\omega_1$ is supercompact" also implies that…

In the spirit of Kolmogorov typicality, we introduce the notion of germ-typicality: in a space of dynamics, it encompass all these phenomena that occur for a dense and open subset of parameters of any generic parametrized family of systems.…

We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…

For any Tychonoff space $X$ let $C_p(X)$ (resp., $C^*_p(X)$) be the set of all continuous (resp., and bounded) functions on $X$ with the pointwise convergence topology. Given Tychonoff spaces $X$ and $Y$, Uspenskij \cite{us} proved that if…