Related papers: Canonical quotients in model theory

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and…

We start by reviewing the formulation of noncommutative quantum mechanics as a constrained system. Then, we address to the problem of field theories defined on a noncommutative space-time manifold. The Moyal product is introduced and the…

We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the former. In the interplay between these, we find new type formers…

Generalization is a central concept in machine learning theory, yet for quantum models, it is predominantly analyzed through uniform bounds that depend on a model's overall capacity rather than the specific function learned. These…

We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…

Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types…

A new proof, depending only on genus theory, is given of a theorem of Stankewicz, which characterizes the primes $p$ for which the class equation $H_D(X)$ of the maximal order of the imaginary quadratic field $K=\mathbb{Q}(\sqrt{D})$ has a…

We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb…

In this paper, we focus on some models in rational homotopy theory, Sullivan model, Quillen model, C_\infty model, and L_\infty model. We give some connections between them. As an application, we prove the Torus Rank Conjecture.

This paper presents analogous results of Hua [7][8] on numbers of representations of quivers over finite fields which respect nilpotent relations under certain assumptions. A closed formula which counts isomorphism classes of absolutely…

Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of…

For many environmental processes, recent studies have shown that the dependence strength is decreasing when quantile levels increase. This implies that the popular max-stable models are inadequate to capture the rate of joint tail decay,…

For an infinite cardinal $\kappa$, let $ded\kappa$ denote the supremum of the number of Dedekind cuts in linear orders of size $\kappa$. It is known that $\kappa<ded\kappa\leq 2^{\kappa}$ for all $\kappa$ and that $ded\kappa<2^{\kappa}$ is…

Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural…

Dominions, in the sense of Isbell, are investigated in the context of decomposable varieties of groups. An upper and lower bound for dominions in such a variety is given in terms of the two varietal factors, and the internal structure of…

The set of infinite-dimensional, symmetric stable tail dependence functions associated with exchangeable max-stable sequences of random variables with unit Fr\'echet margins is shown to be a simplex. Except for a single element, the…

We establish new results concerning the existence of extremisers for a broad class of smoothing estimates of the form $\|\psi(|\nabla|) \exp(it\phi(|\nabla|)f \|_{L^2(w)} \leq C\|f\|_{L^2}$, where the weight $w$ is radial and depends only…

We consider the spaces $A_p(\mathbb T)$ of functions $f$ on the circle $\mathbb T$ such that the sequence of Fourier coefficients $\fu{\f}=\{\fu{\f}(k), ~k \in \mathbb Z\}$ belongs to $l^p, ~1\leq p<2$. The norm on $A_p(\mathbb T)$ is…

We investigate the Hamiltonian analysis of Nappi-Witten model (WZW action based on non semi simple gauge group) and find a time dependent non-commutativity by canonical quantization. Our procedure is based on constraint analysis of the…

Given a word $w(x_{1},\ldots,x_{r})$, i.e., an element in the free group on $r$ elements, and an integer $d\geq1$, we study the characteristic polynomial of the random matrix $w(X_{1},\ldots,X_{r})$, where $X_{i}$ are Haar-random…