Related papers: An invitation to extension domination

This article is concerned with finite rank stability theory, and more precisely two classical ways to decompose a type using minimal types. The first is its domination equivalence to a Morley power of minimal types, and the second its…

The Euler form is an Ext analog of the Euler characteristic, and in this paper we study the Euler form and give some applications. The first being a question of Jorgensen, which bounds the projective dimension of a module over a complete…

We study the distribution of extensions of a number field $k$ with fixed abelian Galois group $G$, from which a given finite set of elements of $k$ are norms. In particular, we show the existence of such extensions. Along the way, we show…

The Carath\'eodory extension theorem is a fundamental result in measure theory. Often we do not know what a general measurable subset looks like. The Carath\'eodory extension theorem states that to define a measure we only need to assign…

In this paper we establish a general form of the Mass Transference Principle for systems of linear forms conjectured in [1]. We also present a number of applications of this result to problems in Diophantine approximation. These include a…

Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…

Generalizing de Vries Compactification Theorem and strengthening Leader Local Compactification Theorem, we describe the partially ordered set $(\LL(X),\le)$ of all (up to equivalence) locally compact Hausdorff extensions of a Tychonoff…

Universal definitions of irredundance for X-set parameters are presented using blocking sets. This approach is modeled on (domination) irredundance (which uses closed neighborhoods as blocking sets) and zero forcing irredundance (which uses…

In this paper, a link between monotonicity of deterministic dynamical systems and propagation of order by Markov processes is established. The order propagation has received considerable attention in the literature, however, this notion is…

We extend Berge's Maximum Theorem to allow for incomplete preferences. We first provide a simple version of the Maximum Theorem for convex feasible sets and a fixed preference. Then, we show that if, in addition to the traditional…

We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…

We generalize the dual notions of "expansion" and "collapse" so they can be applied to arbitrary metric spaces. We also expand the theory to allow for infinitely many such moves. Those tools are then employed to prove a variety of…

We consider two general frameworks for multiple domination, which are called <r,s>-domination and parametric domination. They generalise and unify {k}-domination, k-domination, total k-domination and k-tuple domination. In this paper, known…

We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This…

The paper is devoted to generalization of well-known Michael's Selection theorem on the case of extension dimension.

We present a measure-theoretic condition for a property to hold ``almost everywhere'' on an infinite-dimensional vector space, with particular emphasis on function spaces such as $C^k$ and $L^p$. Like the concept of ``Lebesgue almost…

We study extension theorems for Lipschitz-type operators acting on metric spaces and with values on spaces of integrable functions. Pointwise domination is not a natural feature of such spaces, and so almost everywhere inequalities and…

We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions of pretameness and tameness for class forcing, we present…

We extend the validity of Kiss's characterization of the commutator from congruence modular varieties to varieties with a difference term. This fixes a recently discovered gap in our paper [A finite basis theorem for difference-term…

The nonlinear concepts of mixed summable families and maps for the spaces that only non-void sets are developed. Several characterizations of the corresponding concepts are achieved and the proof for a general Pietsch Domination-type…