English
Related papers

Related papers: Non-locally modular regular types in classifiable …

200 papers

Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…

Category Theory · Mathematics 2016-07-26 Valery Isaev

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

Logic · Mathematics 2018-04-18 Daniel Palacín , Saharon Shelah

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…

Group Theory · Mathematics 2021-01-19 Francisco Araújo , Michael Kinyon

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

Logic · Mathematics 2012-02-28 Saharon Shelah

Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…

Group Theory · Mathematics 2013-03-21 Karl Lorensen

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…

Logic · Mathematics 2015-09-24 Pierre Simon

Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form…

Number Theory · Mathematics 2022-05-31 Chi-Yun Hsu

We study the class of polynomials that map a local field (i.e., the completion of a number field at a non-Archimedean place) into the subset of its $p$-th powers, where $p$ is the residue characteristic of the field in question. We present…

Number Theory · Mathematics 2025-11-12 Przemysław Koprowski

The present paper is devoted to the study of space mappings, which are more general than quasiregular mappings. The questions of the behavior of differentiable mappings having the so--called $N,$ $N^{-1},$ $ACP$ and $ACP^{-1}$ -- properties…

Complex Variables · Mathematics 2012-04-10 Evgeny Sevost'yanov

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Logic · Mathematics 2026-02-24 Slavko Moconja , Predrag Tanović

We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp.…

Logic · Mathematics 2026-02-10 Samuel Braunfeld , Michael C. Laskowski

Let $G$ be a simple linear algebraic group defined over an algebraically closed field of characteristic $p\geq 0$ and let $\phi$ be a $p$-restricted irreducible representation of $G$. Let $T$ be a maximal torus of $G$ and $s\in T$. We say…

Representation Theory · Mathematics 2022-03-08 Donna M. Testerman , Alexandre Zalesski

Let $G$ be a finite group and $\mathsf{k}$ a field of characteristic $p$. It is conjectured in a paper of the first author and John Greenlees that the thick subcategory of the stable module category StMod$(\mathsf{k}G)$ consisting of…

Representation Theory · Mathematics 2023-08-21 David J. Benson , Jon F. Carlson

We review some results on abstract linear and nonlinear population models with age and spatial structure. The results are mainly based on the assumption of maximal $L_p$-regularity of the spatial dispersion term. In particular, this…

Analysis of PDEs · Mathematics 2017-09-14 Christoph Walker

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…

Category Theory · Mathematics 2025-07-02 Clémence Chanavat , Amar Hadzihasanovic

We establish a first general partial regularity theorem for area minimizing currents $\mathrm{mod}(p)$, for every $p$, in any dimension and codimension. More precisely, we prove that the Hausdorff dimension of the interior singular set of…

Analysis of PDEs · Mathematics 2020-12-08 Camillo De Lellis , Jonas Hirsch , Andrea Marchese , Salvatore Stuvard

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…

Logic · Mathematics 2019-03-14 Dimiter Skordev

The trichotomy between regular, semiregular, and strongly irregular boundary points for $p$-harmonic functions is obtained for unbounded open sets in complete metric spaces with a doubling measure supporting a $p$-Poincar\'e inequality,…

Analysis of PDEs · Mathematics 2022-07-15 Anders Björn , Daniel Hansevi

We study asymmetric regular types. If $\frak p$ is regular and $A$-asymmetric then there exists a strict order such that Morley sequences in $\frak p$ over $A$ are strictly increasing (we allow Morley sequences to be indexed by elements of…

Logic · Mathematics 2015-03-17 Slavko Moconja , Predrag Tanović

In this paper we study nonlocal nonlinear equations of fractional $(s,p)$-Laplacian type on $\mathbf{R}^n$. We show that the irregular boundary points for the Dirichlet problem can be divided into two disjoint classes: semiregular and…

Analysis of PDEs · Mathematics 2025-07-01 Anders Björn , Jana Björn , Minhyun Kim