Related papers: On supercompactness of $\omega_1$
We give a new proof of a theorem of Becker that under AD+V=L(R), omega_2 is a kappa-supercompact for every kappa less than or equal to the supremum of all Suslin cardinals. Our proof uses inner model theory. It is still open whether one can…
We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal $M_1$, there is a model of $\ZFC$ in which $\NS$ is $\aleph_2$-saturated and $\Delta_1$-definable with $\omega_1$ as a parameter which…
It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of…
The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski…
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…
Under $\mathrm{ZF}$, we show that the statement that every subset of every $\mathbb{R}$-vector space has a maximal convex subset is equivalent to the Axiom of Choice. We also study the strength of the same statement restricted to some…
In this paper we discuss some aspects of the behavior of superconformal N=1 models under Seiberg's duality. Our claim is that if an electric gauge theory is superconformal on some marginal subspace of all coupling constants then its…
Hyperuniformity, whereby the static structure factor (or density correlator) obeys $S(q)\sim q^{\varsigma}$ with $\varsigma> 0$, emerges at criticality in systems having multiple absorbing states, such as periodically sheared suspensions.…
Starting from infinitely many supercompact cardinals, we force a model of ZFC where $\aleph_{\omega^2+1}$ satisfies simultaneously a strong principle of reflection, called $\Delta$-reflection, and a version of the square principle, denoted…
We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb…
We propose and investigate a model for the coexistence of Superconductivity (SC) and Ferroelectricity (FE) based on the dynamical symmetries $su(2)$ for the pseudo-spin SC sector, $h(4)$ for the displaced oscillator FE sector, and $su(2)…
A Kaufmann model is an $\omega_1$-like, recursively saturated, rather classless model of $\mathrm{PA}$ or $\mathrm{ZF}$. Such models were constructed by Kaufmann under the combinatorial principle $\diamondsuit_{\omega_1}$ and Shelah showed…
We use a variational approach to gain insight into the strongly correlated d-wave superconducting state of the high Tc cuprates at T=0. We show that strong correlations lead to qualitatively different trends in pairing and phase coherence:…
Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…
Certain exact results in supersymmetric gauge theories are generated by non-perturbative effects different from instantons. In supersymmetric QCD with N colours and Nf fundamental flavours we examine the Affleck-Dine-Seiberg (ADS)…
In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.
We give a simple example of a set that is weakly Dedekind infinite (= can be mapped onto omega) but dually Dedekind finite (=cannot be mapped noninjectively onto itself), namely, the power set of a superamorphous set. (A infinite set is…
We investigate properties of trees of height $\omega_1$ and their preservation under subcomplete forcing. We show that subcomplete forcing cannot add a new branch to an $\omega_1$-tree. We introduce fragments of subcompleteness which are…
We show that in the theory ZF + DC + for every cardinal {\lambda}, the set of infinite subsets of {\lambda} is well-ordered (i.e., Shelah's AX4), the {\theta}-function measuring the surjective size of the powersets P({\kappa}) can take…
We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $\omega_1$ is $\Pi_1$-definable in a parameter from $H_{\aleph_2}$.