Related papers: On supercompactness of $\omega_1$
We introduce a new combinatorial principle which we call $\clubsuit_{AD}$. This principle asserts the existence of a certain multi-ladder system with guessing and almost-disjointness features, and is shown to be sufficient for carrying out…
We analyze the anti-de Sitter (AdS) superparticle and superstring systems described in terms of supermatrix valued coordinates proposed by Roiban and Siegel. This approach gives simple symmetry transformations and equations of motion. We…
The $C^1$-structurally stable diffeomorphims of a compact manifold are those that satisfy Axiom A and the strong transversality condition (AS). We generalize the concept of AS from diffeomorphisms to invariant compact subsets. Among other…
Recall that a space X is selectively pseudocompact if for every sequence (U_n) of non-empty open subsets of X one can choose a point x_n in U_n for all n such that the resulting sequence (x_n) has an accumulation point in X. This notion was…
Measuring says that for e\-very sequence $(C_\delta)_{\delta<\omega_1}$ with each $C_\delta$ being a closed subset of $\delta$ there is a club $C\subseteq\omega_1$ such that for every $\delta\in C$, a tail of $C\cap\delta$ is either…
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let $\Sigma$ be a language consisting of function symbols (representing type constructors) and $C$ a decidable structure in the relational…
We show that the following are consistent with ZFC: 1. Strongly meager sets form an ideal with the same additivity as the ideal of meager sets. 2. There exists a strong measure zero set of size > d (dominating number).
We propose a simple picture for the occurrence of superconductivity and the pressure dependence of the superconducting critical temperature, T_{SC}, in ZrZn_2. According to our hypothesis the pairing potential is independent of pressure,…
Several papers have been written studying unexpected hypersurfaces. We say a finite set of points Z admits unexpected hypersurfaces if a general union of fat linear subspaces imposes less that the expected number of conditions on the ideal…
Assuming $M_1$, the canonical inner model with one Woodin cardinal exists, we construct a model in which the nonstationary ideal on $\omega_1$ is $\aleph_2$-saturated, $\Delta_1$-definable with $\omega_1$ as the only parameter and there is…
We study the effect of nonuniform transverse couplings on a quasi-one dimensional superconductor. We show that inhomogeneous couplings quite generally increase the superconducting (pairing) gap relative to the uniform system, but that…
It is well-known that within Zermelo-Fraenkel set theory (ZF), the Axiom of Choice (AC) implies the Maximal Ideal Theorem (MIT), namely that every nontrivial commutative ring has a maximal ideal. The converse implication MIT $\Rightarrow$…
We show that it is consistent relative to ZF, that there is no well-ordering of $\mathbb{R}$ while a wide class of special sets of reals such as Hamel bases, transcendence bases, Vitali sets or Bernstein sets exists. To be more precise, we…
Exacting and ultraexacting cardinals are large cardinal numbers compatible with the Zermelo-Fraenkel axioms of set theory, including the Axiom of Choice. In contrast with standard large cardinal notions, their existence implies that the…
We propose a macroscopic description of the superconducting state in presence of an applied external magnetic field in terms of first order differential equations. They describe a corrugated two-component order parameter intertwined with a…
In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C <= D or D <= C. However, in ZF this is no longer so. For a given infinite…
A family of subsets $\mathcal{F} \subseteq \mathcal{P}(\{1, 2, \ldots, n\})$ has the disparate union property if any two disjoint subfamilies $\mathcal{F}_1, \mathcal{F}_2 \subseteq \mathcal{F}$ have distinct unions $\bigcup \mathcal{F}_1…
We study the effect of hedgehog suppression in the O(3) sigma model in D=2+1. We show via Monte Carlo simulations that the sigma model can be disordered while effectively forbidding these point topological defects. The resulting…
We show that if $X$ is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of $X$ as we wish.…
The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…