English
Related papers

Related papers: Rank functions and partial stability spectra for t…

200 papers

For families of all theories of arbitrary given languages we describe ranks and degrees. In particular, we characterize (non-)totally transcendental families. We apply these characterizations for the families of all theories of given…

Logic · Mathematics 2019-01-30 Nurlan Markhabatov , Sergey Sudoplatov

Consider an a.e.c. (abstract elementary class), that is, a class K of models with a partial order refining inclusion (submodel) which satisfy the most basic properties of an elementary class. Our test question is trying to show that the…

Logic · Mathematics 2013-12-30 Saharon Shelah

We present theoretical and practical results on the order theory of lattices of functions, focusing on Galois connections that abstract (sets of) functions - a topic known as higher-order abstract interpretation. We are motivated by the…

Programming Languages · Computer Science 2025-08-01 Louis Rustenholz , Pedro Lopez-Garcia , Manuel V. Hermenegildo

We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…

Category Theory · Mathematics 2022-01-11 Nima Rasekh

In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…

Functional Analysis · Mathematics 2020-12-07 Andrzej Olbryś , Zsolt Páles

Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue…

Logic · Mathematics 2017-03-14 Raf Cluckers , Immanuel Halupczok

We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…

Logic · Mathematics 2017-04-13 Will Boney , Sebastien Vasey

This paper studies the stability of tensor ranks under field extensions. Our main contributions are fourfold: (1) We prove that the analytic rank is stable under field extensions. (2) We establish the equivalence between the partition rank…

Combinatorics · Mathematics 2025-12-16 Qiyuan Chen , Ke Ye

Constant rank theorems are obtained for saddle solutions to the special Lagrangian equation and the quadratic Hessian equation. The argument also leads to Liouville type results for the special Lagrangian equation with subcritical phase,…

Analysis of PDEs · Mathematics 2024-05-30 W. Jacob Ogden , Yu Yuan

We study multidimensional diagrams in independent amalgamation in the framework of abstract elementary classes (AECs). We use them to prove the eventual categoricity conjecture for AECs, assuming a large cardinal axiom. More precisely, we…

Logic · Mathematics 2023-03-10 Saharon Shelah , Sebastien Vasey

The relationship between overparameterization, stability, and generalization remains incompletely understood in the setting of discontinuous classifiers. We address this gap by establishing a generalization bound for finite function classes…

Machine Learning · Computer Science 2026-03-04 Jonas von Berg , Adalbert Fono , Massimiliano Datres , Sohir Maskey , Gitta Kutyniok

This paper is a contribution to "neo-stability" type of result for abstract elementary classes. Under certain set theoretic assumptions, we propose a definition and a characterization of NIP in AECs. The class of AECs with NIP properly…

Logic · Mathematics 2025-10-28 Wentao Yang

We slightly generalize a notion of rank introduced by Glasner and Megrelishvili, which captures the oscillations of elements of Ellis semigroups, so that it can be applied to any compact Hausdorff space instead of being limited to the…

Logic · Mathematics 2023-09-07 Alessandro Codenotti , Daniel Max Hoffmann

Let $\Lambda$ be a sub-semigroup of the reals. We show that the Bass and topological stable ranks of the algebras ${\rm AP}_\Lambda=\{f\in {\rm AP}: \sigma(f)\subseteq \Lambda\}$ of almost periodic functions on the real line and with Bohr…

Functional Analysis · Mathematics 2014-02-21 Raymond Mortini , Rudolf Rupp

We show that certain tilting results for quivers are formal consequences of stability, and as such are part of a formal calculus available in any abstract stable homotopy theory. Thus these results are for example valid over arbitrary…

Algebraic Topology · Mathematics 2016-03-02 Moritz Groth , Jan Stovicek

In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to…

Algebraic Topology · Mathematics 2016-11-01 Denis Nardin

In this article we determine the coefficient bounds for functions in certain subclasses of analytic functions defined by subordination which are related to the well-known classes of starlike and convex functions. The main results deal with…

Complex Variables · Mathematics 2017-04-27 Nirupam Ghosh , A. Vasudevarao

In [Frobenius1896] it was shown that many important properties of a finite group could be examined using formulas involving the character ratios of group elements, i.e., the trace of the element acting in a given irreducible representation,…

Representation Theory · Mathematics 2021-07-07 Shamgar Gurevich , Roger Howe

We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…

Number Theory · Mathematics 2017-05-02 Sophie Marques , Kenneth Ward

We consider classes of Boolean functions stable under compositions both from the right and from the left with clones. Motivated by the question how many properties of Boolean functions can be defined by means of linear equations, we focus…

Rings and Algebras · Mathematics 2024-07-01 Miguel Couceiro , Erkko Lehtonen