English
Related papers

Related papers: Equivalent definitions of superstability in tame a…

200 papers

Suppose that $\lambda=\lambda^{<\lambda} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $\lambda^{++}$ universal models of $T$ of size $\lambda^+$ for models…

Logic · Mathematics 2009-09-25 Mirna Džamonja , Saharon Shelah

Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of…

Logic in Computer Science · Computer Science 2018-09-05 Eugenio Moggi , Amin Farjudian , Adam Duracz , Walid Taha

The robustness property of exponential dichotomies refers to the stability of this notion under small linear perturbations. In recent work~\cite{PPX}, the authors have identified a new class of perturbations under which the notion of a…

Dynamical Systems · Mathematics 2025-12-16 Davor Dragicevic

Stability is a central property in learning and statistics promising the output of an algorithm $A$ does not change substantially when applied to similar datasets $S$ and $S'$. It is an elementary fact that any sufficiently stable algorithm…

Machine Learning · Computer Science 2025-02-13 Max Hopkins , Shay Moran

Assuming the existence of a supercompact cardinal, we construct a model where, for some uncountable regular cardinal $\kappa$, there are no $\Sigma^1_1(\kappa)-\kappa-$mad families.

Logic · Mathematics 2018-05-21 Haim Horowitz , Saharon Shelah

In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated…

Logic in Computer Science · Computer Science 2019-03-14 Á. García-Pérez , P. Nogueira

It is well known that, for mass-action systems, complex-balanced equilibria are asymptotically stable. For generalized mass-action systems, even if there exists a unique complex-balanced equilibrium (in every stoichiometric class and for…

Dynamical Systems · Mathematics 2022-09-14 Balazs Boros , Stefan Müller , Georg Regensburger

We consider a $D$-dimensional Einstein-Gauss-Bonnet model with a cosmological term $\Lambda$ and two non-zero constants: $\alpha_1$ and $\alpha_2$. We restrict the metrics to be diagonal ones and study a class of solutions with exponential…

General Relativity and Quantum Cosmology · Physics 2020-07-15 K. K. Ernazarov , V. D. Ivashchuk

In this paper we examine the task set forth by Shelah and Villaveces in \cite{ShVi} of proving the uniqueness of limit models of cardinality $\mu$ in $\lambda$-categorical abstract elementary classes with no maximal models, where $\lambda$…

Logic · Mathematics 2016-12-02 Monica M. VanDieren

Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, $(\mathbf{K}^3, \preccurlyeq)$, is…

Logic · Mathematics 2017-10-10 Tapani Hyttinen , Gianluca Paolini

We present a new, scalable alternative to the structured singular value, which we call $\nu$, provide a convex upper bound, study their properties and compare them to $\ell_1$ robust control. The analysis relies on a novel result on the…

Optimization and Control · Mathematics 2022-04-13 Olle Kjellqvist , John C. Doyle

We construct two pseudofinite theories which are tame from a neostability perspective, yet have pathological fine pseudofinite dimension in all models. These theories serve as counterexamples to potential converses of results by Garcia,…

Logic · Mathematics 2022-03-23 Alexander Van Abel

This paper introduces a unified framework for stable matching, which nests the traditional definition of stable matching in finite markets and the continuum definition of stable matching from Azevedo and Leshno (2016) as special cases.…

Theoretical Economics · Economics 2022-05-26 Nick Arnosti

We extend the definition of $n$-dimensional difference equations to complex order $\alpha\in \mathbb{C} $. We investigate the stability of linear systems defined by an $n$-dimensional matrix $A$ and derive conditions for the stability of…

Dynamical Systems · Mathematics 2022-08-29 Sachin Bhalekar , Prashant M. Gade , Divya Joshi

We introduce and study a new model that we call the {\em matching model}. Items arrive one by one in a buffer and depart from it as soon as possible but by pairs. The items of a departing pair are said to be {\em matched}. There is a finite…

Probability · Mathematics 2016-06-03 Jean Mairesse , Pascal Moyal

Super-stability and strong stability are properties of a matching in the stable matching problem with ties. In this paper, we introduce a common generalization of super-stability and strong stability, which we call non-uniform stability.…

Computer Science and Game Theory · Computer Science 2024-08-30 Naoyuki Kamiyama

For $M$ $\omega$-categorical and stable, we investigate the growth rate of $M$, i.e. the number of orbits of $Aut(M)$ on $n$-sets, or equivalently the number of $n$-substructures of $M$ after performing quantifier elimination. We show that…

Logic · Mathematics 2022-02-25 Samuel Braunfeld

In this paper we characterize tame dynamical systems and functions in terms of eventual non-sensitivity and eventual fragmentability. As a notable application we obtain a neat characterization of tame subshifts $X \subset \{0,1\}^{\mathbb…

Dynamical Systems · Mathematics 2016-09-26 Eli Glasner , Michael Megrelishvili

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

In S. 1 we deal with amalgamation bases, e.g., we define when an a.e.c. $k$ has $(\lambda,\kappa)$-amalgamation which means "many" M in $K^k_\lambda$ are amalgamation bases. We then consider what happens for the class of lf groups. In S. 2…

Logic · Mathematics 2019-01-29 Saharon Shelah