Related papers: Interpolative Fusions I
In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.
The $NFI$-topology, introduced in [S0], is a topology on the Stone space of a theory $T$ that depends on a reduct $T^-$ of $T$. This topology has been used in [S0] to describe the set of universal transducers for $(T,T^-)$ (invariants sets…
Let $p$ be a strong type of an algebraically closed tuple over $B=\acl^{\eq}(B)$ in any theory $T$. Depending on a ternary relation $\indo^*$ satisfying some basic axioms (there is at least one such, namely the trivial independence in $T$),…
Recently, DiFrancesco and Zuber have characterized the RCFTs which have a description in terms of a fusion potential in one variable, and proposed a generalized potential to describe other theories. In this note we give a simple criterion…
We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…
In this paper, we describe the structure of maximal non-trivial uniform $t$-intersecting families with large size for finite sets. In the special case when $t=1$, our result gives rise to Kostochka and Mubayi's result in 2017.
Using the Semple bundle construction, we derive an intersection-theoretic formula for the number of simultaneous contacts of specified orders between members of a generic family of degree $d$ plane curves and finitely many fixed curves. The…
We develop a combinatorial and order-theoretic framework for shuffles, understood as ordered concatenations of indexed families of sequences that induce total orders on the natural numbers. Motivated by the classical \v{S}arkovski\u{i}…
We discuss averaged turbulence modeling of multi-scales of length for an incompressible Newtonian fluid, with the help of the maximum information principle. We suppose that there exists a function basis to decompose the turbulent…
We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a…
We propose FC, a new logic on words that combines finite model theory with the theory of concatenation - a first-order logic that is based on word equations. Like the theory of concatenation, FC is built around word equations; in contrast…
We investigate the interplay of generalized global symmetries in 2+1 dimensions in a lattice model that couples a $\mathbb{Z}_N$ clock model to a $\mathbb{Z}_N$ gauge theory via a topological interaction. This coupling binds the charges of…
Topological Interlocking assemblies are arrangements of blocks kinematically constrained by a fixed frame, such that all rigid body motions of each block are constrained only by its permanent contact with other blocks and the frame. In the…
Occam's Razor tells us to pick the simplest model that fits our observations. In order to make sense of his process mathematically, we interpret it in the context of posets of functions. Our approach leads to some unusual new combinatorial…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
This paper exploits adjacencies between the orbits of an ordered set P and a consequence of the classification of finite simple groups to, in many cases, exponentially bound the number of automorphisms. Results clearly identify the…
We define a function, called s-multiplicity, that interpolates between Hilbert-Samuel multiplicity and Hilbert-Kunz multiplicity by comparing powers of ideals to the Frobenius powers of ideals. The function is continuous in s, and its value…
We define and study multiplicative connections in the tangent bundle of a Lie groupoid. Multiplicative connections are linear connections satisfying an appropriate compatibility with the groupoid structure. Our definition is natural in the…
We study the topological full group of ample groupoids over locally compact spaces. We extend Matui's definition of the topological full group from the compact, to the locally compact case. We provide two general classes of groupoids for…
The early Universe inflation is well known as a promising theory to explain the origin of large scale structure of the Universe, a causal theory for the origin of primordial density fluctuations which may explain the observed density…