English
Related papers

Related papers: Forking and superstability in tame AECs

200 papers

By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean…

Algebraic Topology · Mathematics 2026-02-04 Damien Calaque , Victor Carmona

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

Logic · Mathematics 2019-07-29 M. Malliaris , S. Shelah

Framed combinatorial topology is a novel theory describing combinatorial phenomena arising at the intersection of stratified topology, singularity theory, and higher algebra. The theory synthesizes elements of classical combinatorial…

Geometric Topology · Mathematics 2021-12-30 Christoph Dorn , Christopher L. Douglas

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc({\rm ZFC})$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc({\rm ZFC})$ plus…

Logic · Mathematics 2023-03-28 Athanassios Tzouvaras

Mekler's construction gives an interpretation of any structure in a finite relational language in a group (nilpotent of class $2$ and exponent $p>2$, but not finitely generated in general). Even though this construction is not a…

Logic · Mathematics 2018-07-10 Artem Chernikov , Nadja Hempel

We present an architecture that is effective for continual learning in an especially demanding setting, where task boundaries do not exist or are unknown, and where classes have to be learned online (with each example presented only once).…

Machine Learning · Computer Science 2021-10-08 Murray Shanahan , Christos Kaplanis , Jovana Mitrović

Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is ${\cal…

Operator Algebras · Mathematics 2024-01-23 Huaxin Lin

We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed…

Commutative Algebra · Mathematics 2022-08-25 Arpan Dutta , Franz-Viktor Kuhlmann

Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…

Algebraic Geometry · Mathematics 2025-12-04 R. Giménez Conejero , Andreas Lind , Aurélio Menegon

Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.

Algebraic Geometry · Mathematics 2023-08-10 Hiromu Tanaka

In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…

Category Theory · Mathematics 2009-04-27 Claudio Pisani

With infinitely many high-quality data points, infinite computational power, an infinitely large foundation model with a perfect training algorithm and guaranteed zero generalization error on the pretext task, can the model be used for…

Artificial Intelligence · Computer Science 2026-04-27 Yang Yuan

Tight frames can be characterized as those frames which possess optimal numerical stability properties. In this paper, we consider the question of modifying a general frame to generate a tight frame by rescaling its frame vectors; a process…

Numerical Analysis · Mathematics 2012-04-17 Gitta Kutyniok , Kasso A. Okoudjou , Friedrich Philipp , Elizabeth K. Tuley

We provide a differential-algebraic description of forking independence in the stable theory DCF$_{p,m}$ of differentially closed fields of characteristic $p>0$ with $m$-many commuting derivations. As a by-product of this description, we…

Logic · Mathematics 2025-11-10 Piotr Kowalski , Omar León Sánchez , Amador Martin-Pizarro

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…

Logic · Mathematics 2008-02-03 Saharon Shelah

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an…

Number Theory · Mathematics 2026-01-01 Peter J. Cho , Robert J. Lemke Oliver , Asif Zaman

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…

Algebraic Geometry · Mathematics 2023-11-29 Giulio Bresciani , Angelo Vistoli

We show that, contrary to the commonly held view, there is a natural and optimal compactness theorem for $\mathrm{L}_{\infty\infty}$ which generalizes the usual compactness theorem for first order logic. The key to this result is the switch…

Logic · Mathematics 2025-07-29 Juan M Santiago Suárez , Matteo Viale

We introduce a general categorical framework for finiteness conditions that unifies classical notions such as Noetherianness, Artinianness, and various forms of topological compactness. This is achieved through the concept of…

Category Theory · Mathematics 2025-09-15 David Forsman
‹ Prev 1 8 9 10 Next ›