Related papers: Prikry-type forcing and minimal $\alpha$-degree

We investigate families of graphs and graphons (graph limits) that are defined by a finite number of prescribed subgraph densities. Our main focus is the case when the family contains only one element, i.e., a unique structure is forced by…

Let $M$ be a simple manifold, and $F$ be a component of $\partial M$ of genus two. For a slope $\gamma$ on $F$, we denote by $M(\gamma)$ the manifold obtained by attaching a 2-handle to $M$ along a regular neighborhood of $\gamma$ on $F$.…

We analyze a finite-difference approximation of a functional of Ambrosio-Tortorelli type in brittle fracture, in the discrete-to-continuum limit. In a suitable regime between the competing scales, namely if the discretization step $\delta$…

In this first of a series of articles on standard extension algebras we study standard perverse sheaves on varieties with $\mathbb{G}_m$-actions. Based on Braden's hyperbolic localisation, we describe their extension algebra geometrically…

We obtain N = 3 chiral supergravity (SUGRA) compatible with the reality condition by applying the prescription of constructing the chiral Lagrangian density from the usual SUGRA. The $N = 3$ chiral Lagrangian density in first-order form,…

A fundamental issue in the renormalization-group (RG) theory of critical phenomena concerns the allowed values of critical exponents that are consistent with the continuous nature of a phase transition. Here we conjecture a lower bound for…

In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory $\mathsf{KM}$, G\"odel--Bernays set theory $\mathsf{GB}$, and $\mathsf{GB}$ augmented with the principle of…

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…

In this work, we introduce a class of extended Minimal Theories of Massive Gravity (eMTMG), without requiring a priori that the theory should admit the same homogeneous and isotropic cosmological solutions as the de Rham-Gabadadze-Tolley…

Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that…

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…

We generalize the notion of relational precompact expansions of Fra\"iss\'e classes via functorial means, inspired by the technique outlined by Laflamme, Nguyen Van Th\'e and Sauer in their paper Partition properties of the dense local…

Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…

In quantum logical terms, Hardy-type arguments can be uniformly presented and extended as collections of intertwined contexts and their observables. If interpreted classically those structures serve as graph-theoretic "gadgets" that enforce…

Consider the algebraic function $\Phi_{g,n}$ that assigns to a general $g$-dimensional abelian variety an $n$-torsion point. A question first posed by Kronecker and Klein asks: What is the minimal $d$ such that, after a rational change of…

Let $p_c(\mathbb{Q}_n)$ and $p_c(\mathbb{Z}^n)$ denote the critical values for nearest-neighbour bond percolation on the $n$-cube $\mathbb{Q}_n = \{0,1\}^n$ and on $\Z^n$, respectively. Let $\Omega = n$ for $\mathbb{G} = \mathbb{Q}_n$ and…

This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…

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…

Incremental gradient and incremental proximal methods are a fundamental class of optimization algorithms used for solving finite sum problems, broadly studied in the literature. Yet, without strong convexity, their convergence guarantees…

Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial…