Related papers: Changing cardinal characteristics without changing…
We define a new inner model C2(omega) based on the fragment of second order logic in which second order variables range over countable subsets of the domain. We compare C2(omega) to the previously studied inner model C(aa). We argue that…
General relativity is a covariant theory of two transverse, traceless graviton degrees of freedom. According to a theorem of Hojman, Kuchar, and Teitelboim, modifications of general relativity must either introduce new degrees of freedom or…
We use large-scale Monte Carlo computations to study the phase transitions of a two-component chiral p-wave superconductor in zero external magnetic field. We find a first order phase transition from the normal state to a chiral…
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not…
For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider…
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals…
We construct a model in which the continuum has size $\kappa$ for a regular cardinal $\kappa$ and in which the $\Sigma^1_n$-uniformization property holds simultaneously for every $n \ge 2$. Additionally this model has a $\Delta^1_3$-…
We introduce new partial orders on the set $S^+_n$ of positive-definite matrices of dimension $n$ derived from the homogeneous geometry of $S^+_n$ induced by the natural transitive action of the general linear group $GL(n)$. The orders are…
The equilibrium properties of classical self-gravitating systems in the grand canonical ensemble are studied by using the correspondence with an euclidean field theory with infrared and ultraviolet cutoffs. It is shown that the system…
This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on…
Nontrivial translation matrices occur for spin (A,B)+(C,D) with |A-C| = |B-D| = 1/2, necessarily associating a (C,D) field with a spin (A,B) field. Including translation matrices in covariant non-unitary Poincare representations also…
We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…
We show that all permutations in $S_n$ can be generated by affine unicritical polynomials. We use the $\operatorname{PGL}$ group structure to compute the cycle structure of permutations with low Carlitz rank. The tree structure of the group…
Group convolutional layers with respect to some group $G$ are modeled by convolutions or cross-correlations with a filter, and they provide the fundamental building block for group convolutional neural networks. For entirely unconstrained…
We prove a theorem on iterated forcing that can be used for preservation of $\aleph_2$ and $\aleph_1$ in iterations with supports of size $\aleph_1$ of forcings that have amalgamation properties similar to those present in the perfect set…
For certain weak versions of the Axiom of Choice (most notably, the Boolean Prime Ideal theorem), we obtain equivalent formulations in terms of partial orders, and filter-like objects within them intersecting certain dense sets or…
The hunt for exotic quantum phase transitions described by emergent fractionalized degrees of freedom coupled to gauge fields requires a precise determination of the fixed point structure from the field theoretical side, and an extreme…
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…
We prove that a large class of presaturated ideals at inaccessible cardinals can be de-saturated while preserving their presaturation, answering both a question of Foreman and of Cox and Eskew. We do so by iterating a generalized version of…
We investigate characterizations of the Galois connection sInv-Aut between sets of finitary relations on a base set A and their automorphisms. In particular, for A=omega_1, we construct a countable set R of relations that is closed under…