English
Related papers

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

200 papers

We show that NSOP$_{1}$ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if $T$ is NSOP$_{1}$, $M\models T$, and $p$ is a type over $M$, then the collection of…

Logic · Mathematics 2018-02-13 Itay Kaplan , Nicholas Ramsey , Saharon Shelah

In contexts in which the principle of dependent choice may not be available, as toposes or Constructive Set Theory, standard locale theoretic results related to complete regularity may fail to hold. To resolve this difficulty, B.…

Logic · Mathematics 2022-09-13 Giovanni Curi

We construct a consistent example of a topological space $Y=X \cup \{\infty\}$ such that: 1) $Y$ is regular. 2) Every $G_\delta$ subset of $Y$ is open. 3) The point $\infty$ is not isolated, but it is not in the closure of any discrete…

General Topology · Mathematics 2024-03-05 Santi Spadaro , Paul Szeptycki

This paper is to study some conditions on semigroups, generated by some class of non-densely defined operators in the closure of its domain, in order that certain bounded perturbations preserve some regularity properties of the semigroup…

Functional Analysis · Mathematics 2019-09-26 Deliang Chen

In this paper we explore the representation property over sets. This property generalizes constructibility, however is weak enough to enable us to prove that the class of theories $T$ whose models are representable is exactly the class of…

Logic · Mathematics 2009-06-18 Moran Cohen , Saharon Shelah

We establish existence results for a class of mixed anisotropic and nonlocal $p$-Laplace equation with singular nonlinearities. We consider both constant and variable singular exponents. Our argument is based on an approximation method. To…

Analysis of PDEs · Mathematics 2023-03-28 Prashanta Garain , Wontae Kim , Juha Kinnunen

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…

Logic · Mathematics 2025-12-17 Christine Eagles , Léo Jimenez

In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop.

Logic · Mathematics 2009-09-25 Tapani Hyttinen , Saharon Shelah

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

Logic · Mathematics 2007-11-02 Assaf Hasson , Alf Onshuus

Let $p$ be an odd prime. Denote a Sylow $p$-subgroup of $GL_2(\mathbb{Z}/p^n)$ and $SL_2(\mathbb{Z}/p^n)$ by $S_p(n,GL)$ and $S_p(n,SL)$ respectively. The theory of stable elements tells us that the mod-$p$ cohomology of a finite group is…

Algebraic Topology · Mathematics 2025-06-06 Anja Meyer

We exhibit invariants of smooth projective algebraic varieties with integer values, whose nonvanishing modulo p prevents the existence of an action without fixed points of certain finite p-groups. The case of base fields of characteristic p…

Algebraic Geometry · Mathematics 2019-02-20 Olivier Haution

Non-autonomous self-similar sets are a family of compact sets which are, in some sense, highly homogeneous in space but highly inhomogeneous in scale. The main purpose of this note is to clarify various regularity properties and separation…

Dynamical Systems · Mathematics 2025-10-22 Antti Käenmäki , Alex Rutar

We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…

Representation Theory · Mathematics 2011-04-18 Dave Benson , Srikanth B. Iyengar , Henning Krause

Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category…

Representation Theory · Mathematics 2023-05-16 David J. Benson , John Greenlees

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…

Algebraic Geometry · Mathematics 2017-09-21 Guillaume Tahar

A semi-localization of a category is a full reflective subcategory with the property that the reflector is semi-left-exact. In this article we first determine an abstract characterization of the categories which are semi-localizations of an…

Category Theory · Mathematics 2016-02-09 Marino Gran , Stephen Lack

A new class of deterministic dynamical systems, termed semipredictable dynamical systems, is presented. The spatiotemporal evolution of these systems have both predictable and unpredictable traits, as found in natural complex systems. We…

Chaotic Dynamics · Physics 2016-04-15 Vladimir García-Morales

The well-known Landau's theorem states that, for any positive integer $k$, there are finitely many isomorphism classes of finite groups with exactly $k$ (conjugacy) classes. We study variations of this theorem for $p$-regular classes as…

Group Theory · Mathematics 2015-03-27 Alexander Moreto , Hung Ngoc Nguyen

Let $R$ be a commutative ring with a non-zero identity, $S$ be a multiplicatively closed subset of $R$ and $M$ be a unital $R$-module. In this paper, we define a submodule $N$ of $M$ with $(N:_{R}M)\cap S=\phi$ to be weakly $S$-prime if…

Commutative Algebra · Mathematics 2021-10-29 Hani A. Khashan , Ece Yetkin Celikel

The P versus NP problem is addressed in a context of provability and limitations on the possibility of finding sound axioms for formal theories. It is shown that if the term "constructible theory" is defined in a way which satisfies certain…

Computational Complexity · Computer Science 2026-05-26 Arne Hole