English
Related papers

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

200 papers

Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for a certain independence relation called…

Logic · Mathematics 2017-04-26 Will Boney , Rami Grossberg , Monica M. VanDieren , Sebastien Vasey

We prove theorems on stability of classes of solutions to partial differential relations constructed by quasiconvex functions and null Lagrangians with respect to precompact famalies in $C_{loc}$.

Analysis of PDEs · Mathematics 2022-02-17 A. A. Egorov

We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…

Logic · Mathematics 2016-08-29 Sebastien Vasey

Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…

Logic · Mathematics 2017-10-27 Will Boney , Sebastien Vasey

$\mathbf{Theorem.}$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $\lambda > \text{LS} (K)$. If $K$ is categorical in $\lambda$, then the model of cardinality $\lambda$ is Galois-saturated. This…

Logic · Mathematics 2017-08-08 Sebastien Vasey

We extend Matui's notion of almost finiteness to general etale groupoids and show that the reduced groupoid C*-algebras of minimal almost finite groupoids have stable rank one. The proof follows a new strategy, which can be regarded as a…

Operator Algebras · Mathematics 2020-11-10 Yuhei Suzuki

Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(\mu,\lambda,\kappa)$-frames as candidates for being (in the context of AECs) the…

Logic · Mathematics 2023-05-04 Saharon Shelah

In this paper, we study a stability transfer theorem in d-tame Metric Abstract Elementary classes, in a similar way as in [BaKuVa], but using superstability-like assumptions which involves a new independence notion (Tame Independence)…

Logic · Mathematics 2011-08-03 Pedro Zambrano

The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.

Combinatorics · Mathematics 2009-02-10 Miguel Couceiro , Stephan Foldes

We show, assuming a mild set-theoretic hypothesis, that if an abstract elementary class (AEC) has a superstable-like forking notion for models of cardinality $\lambda$ and a superstable-like forking notion for models of cardinality…

Logic · Mathematics 2020-02-28 Sebastien Vasey

We show how to build primes models in classes of saturated models of abstract elementary classes (AECs) having a well-behaved independence relation: $\mathbf{Theorem.}$ Let $K$ be an almost fully good AEC that is categorical in $\text{LS}…

Logic · Mathematics 2018-01-12 Sebastien Vasey

In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class $1$ functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory…

Logic · Mathematics 2016-10-25 Márton Elekes , Viktor Kiss , Zoltán Vidnyánszky

In the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability.…

Logic · Mathematics 2018-01-12 Rami Grossberg , Sebastien Vasey

This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of…

Logic · Mathematics 2017-04-13 Monica M. VanDieren , Sebastien Vasey

We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…

Logic · Mathematics 2016-09-07 Saharon Shelah

We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…

Logic · Mathematics 2022-10-18 Saharon Shelah

We give simple necessary and sufficient conditions for the $\frac{\partial}{\partial t}$-transcendence of the solutions to a parameterized second order linear differential equation of the form \frac{\partial^2 Y}{\partial x^2} - p…

Classical Analysis and ODEs · Mathematics 2013-06-07 Carlos E. Arreche

Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>LS({\bf K})$ be a regular stability cardinal and let $\chi$ be the…

Logic · Mathematics 2022-02-15 Samson Leung

Fix K a p-adic field and denote by G_K its absolute Galois group. Let K_infty be the extension of K obtained by adding (p^n)-th roots of a fixed uniformizer, and G_\infty its absolute Galois group. In this article, we define a class of…

Number Theory · Mathematics 2007-09-14 Xavier Caruso , Tong Liu

Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is \chi-tame. If K is categorical in some \lambda^+ >LS(K) then it is categorical…

Logic · Mathematics 2007-05-23 Rami Grossberg , Monica VanDieren