Related papers: Varsovian models $\omega$
We investigate the classical gravitational tests for the six-dimensional Kaluza-Klein model with spherical (of a radius $a$) compactification of the internal space. The model contains also a bare multidimensional cosmological constant…
We initiate the study of the spectrum $Vspec(\kappa)$ of sets that can be realized as the vanishing levels $V(T)$ of a normal $\kappa$-tree $T$. The latter is an invariant in the sense that if $T$ and $T'$ are club-isomorphic, then the…
We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…
Assuming 0^sharp does not exist, kappa is an uncountable cardinal and for all cardinals lambda with kappa <= lambda < kappa^{+ omega}, 2^lambda = lambda^+, we present a ``mini-coding'' between kappa and kappa^{+ omega}. This allows us to…
In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal…
We consider the problem $-\Delta u+\lambda u=u^{p-1}$, where $u\in H^1_0(\Omega)$ verifies $\|u\|_{L^2}=m>0$, and $\lambda\in [0,+\infty)$. Here, $\mathbb{R}^N\setminus\Omega$ is nonempty and compact. We prove the existence of a solution…
We study nonmetric analogues of Vietoris solenoids. Let $\Lambda$ be an ordered continuum, and let $\vec{p}=\langle p_1,p_2,\dots\rangle$ be a sequence of positive integers. We define a natural inverse limit space $S(\Lambda,\vec{p})$,…
We describe the extension of normal iteration strategies with appropriate condensation properties to strategies for stacks of normal trees, with full normalization. Given a regular uncountable cardinal $\Omega$ and an…
Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a \Delta^1_3…
In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete…
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…
Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
We establish rigidity theorems for graph product von Neumann algebras $M_\Gamma=*_{v,\Gamma}M_v$ associated to finite simple graphs $\Gamma$ and families of tracial von Neumann algebras $(M_v)_{v\in\Gamma}$. We consider the following three…
The Alexandrov-Kontsevich-Schwarz-Zaboronsky (AKSZ) construction encodes all the data of a topological sigma-model in the finite-dimensional symplectic $Q$-manifold. Relaxing the nondegeneracy condition i.e. considering a presymplectic form…
For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…
We argue that the two-dimensional $O(N)$-invariant lattice $\sigma$-model with mixed isovector/isotensor action has a one-parameter family of nontrivial continuum limits, only one of which is the continuum $\sigma$-model constructed by…
We continue the study of the virtual large cardinal hierarchy by analysing virtual versions of superstrong, Woodin, and Berkeley cardinals. Gitman and Schindler showed that virtualizations of strong and supercompact cardinals yield the same…
We consider a class of sigma models that appears from a generalisation of the gauged WZW model parametrised by a constant matrix $Q$. Particular values of $Q$ correspond to the standard gauged WZW models, chiral gauged WZW models and a…
The determinacy of lightface $\Delta^1_{2n+2}$ and boldface $\boldsymbol{\Pi}^1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}^{\#}$.