Related papers: Local reflections of choice

For oscillatory functions on local fields coming from motivic exponential functions, we show that integrability over $Q_p^n$ implies integrability over $F_p ((t))^n$ for large $p$, and vice versa. More generally, the integrability only…

We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…

We prove some general theorems for preserving Dependent Choice when taking symmetric extensions, some of which are unwritten folklore results. We apply these to various constructions to obtain various simple consistency proofs.

We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal…

This is a quick survey on the characteristic varieties associated to rank one local systems on a smooth, irreducible, quasi-projective complex variety $M$. A key new result is Proposition 1.8, giving additional information on the…

We prove dynamical local limits for the singular numbers of $p$-adic random matrix products at both the bulk and edge. The limit object which we construct, the reflecting Poisson sea, may thus be viewed as a $p$-adic analogue of line…

We give both a sufficient condition for and an obstruction to the derived category of a commutative ring being generated by its residue fields. As an illustration, we exhibit a ring for which Foxby's small support classifies localizing…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

Secant defectivity of projective varieties is classically approached via dimensions of linear systems with multiple base points in general position. The latter can be studied via degenerations. We exploit a technique that allows some of the…

We investigate whether semigroups with a given property which are also locally embeddable into finite semigroups can be locally embedded into finite semigroups with the same property, obtaining a positive answer for completely simple and…

We give the decomposition into irreducible representations of the restriction to a maximal compact subgroup of any irreducible depth-zero supercuspidal representation of $\mathrm{SL}(2,F)$ when $F$ is a local nonarchimedean field of…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

Covering matrices were introduced by Viale in his proof that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. In the course of his work and in subsequent work with Sharon, he isolated two reflection principles,…

We show that if $D$ is a tournament of arbitrary size then $D$ has finite strong components after reversing a locally finite sequence of cycles. In turn, we prove that any tournament can be covered by two acyclic sets after reversing a…

We address the study of a class of 1D nonlocal conservation laws from a numerical point of view. First, we present an algorithm to numerically integrate them and prove its convergence. Then, we use this algorithm to investigate various…

Let $M = (M_t)_{t \ge 0}$ be any continuous real-valued stochastic process such that $M_0=0$. Chaumont and Vostrikova proved that if there exists a sequence $(a_n)_{n \ge 1}$ of positive real numbers converging to 0 such that $M$ satisfies…

A nonconstructive proof can be used to prove the existence of an object with some properties without providing an explicit example of such an object. A special case is a probabilistic proof where we show that an object with required…

We construct, from a ground model of $ZFC$, a transitive symmetric model $M$ satisfying $ZF + DC + PP + AC_{wo} + \neg AC$. The construction starts with a Cohen symmetric seed model $N$ over $Add(\omega,\omega_1)$ and performs an Ord-length…

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…

The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first-order theories, but they also play an important role in propositional proof complexity. In this…