English
Related papers

Related papers: Equivalent definitions of superstability in tame a…

200 papers

It is proved that the consistency strength of having definable tree property for successors of all regular cardinals is the consistency strength of having proper class many small large cardinals which are defined very similar to…

Logic · Mathematics 2015-11-24 Ali Sadegh Daghighi , Massoud Pourmahdian

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V models ZFC + GCH is a given model (which in interesting cases contains instances of…

Logic · Mathematics 2016-09-06 Arthur Apter , Saharon Shelah

This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this…

Optimization and Control · Mathematics 2019-10-04 Masashi Wakaiki , Yutaka Yamamoto

Analytical analysis of spatially extended autocatalytic and hypercyclic systems is presented. It is shown that spatially explicit systems in the form of reaction-diffusion equations with global regulation possess the same major qualitative…

Populations and Evolution · Quantitative Biology 2009-01-26 Alexander S. Bratus' , Vladimir P. Posvyanskii , Artem S. Novozhilov

Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Monadically stable classes, originating from model theory,…

Discrete Mathematics · Computer Science 2022-06-30 Jan Dreier , Nikolas Mählmann , Amer E. Mouawad , Sebastian Siebertz , Alexandre Vigny

The disjoint amalgamation property (DAP), which asserts that all spans of a class of models can be amalgamated with minimal intersection, is an important property in the context of abstract elementary classes, with connections to both…

Logic · Mathematics 2026-01-22 Jeremy Beard

We systematically investigate the complexity of model checking the existential positive fragment of first-order logic. In particular, for a set of existential positive sentences, we consider model checking where the sentence is restricted…

Logic in Computer Science · Computer Science 2015-03-20 Hubie Chen

The relationship between the large cardinal notions of strong compactness and supercompactness cannot be determined under the standard ZFC axioms of set theory. Under a hypothesis called the Ultrapower Axiom, we prove that the notions are…

Logic · Mathematics 2018-10-12 Gabriel Goldberg

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

Logic · Mathematics 2018-04-18 Daniel Palacín , Saharon Shelah

We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…

Logic · Mathematics 2022-03-15 Saharon Shelah

We establish a condition for the perturbative stability of zero energy nodal points in the quasi-particle spectrum of superconductors in the presence of coexisting \textit{commensurate} orders. The nodes are found to be stable if the…

Superconductivity · Physics 2008-01-29 E. Berg , C-C. Chen , S. A. Kivelson

The Massively Parallel Computation (MPC) model serves as a common abstraction of many modern large-scale data processing frameworks, and has been receiving increasingly more attention over the past few years, especially in the context of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-08 Danupon Nanongkai , Michele Scquizzato

This work incorporates topological features via persistence diagrams to classify point cloud data arising from materials science. Persistence diagrams are multisets summarizing the connectedness and holes of given data. A new distance on…

Machine Learning · Statistics 2019-11-11 Vasileios Maroulas , Cassie Putman Micucci , Adam Spannaus

The steady states of dynamical processes can exhibit stable nontrivial phases, which can also serve as fault-tolerant classical or quantum memories. For Markovian quantum (classical) dynamics, these steady states are extremal eigenvectors…

Quantum Physics · Physics 2024-02-13 Tibor Rakovszky , Sarang Gopalakrishnan , Curt von Keyserlingk

Let K be an abstract elementary class satisfying the joint embedding and the amalgamation properties. Let m be a cardinal above the the L\"owenheim-Skolem number of the class. Suppose K satisfies the disjoint amalgamation property for limit…

Logic · Mathematics 2015-02-09 R. Grossberg , M. VanDieren , A. Villaveces

The concept of (stable) weak containment for measure-preserving actions of a countable group $\Gamma$ is analogous to the classical notion of (stable) weak containment of unitary representations. If $\Gamma$ is amenable then the Rokhlin…

Dynamical Systems · Mathematics 2017-10-17 Lewis Bowen , Robin Tucker-Drob

The emergent mechanism provides a possible way to resolve the big bang singularity problem by assuming that our universe originates from the Einstein static (ES) state. Thus, the existence of a stable ES solution becomes a very crucial…

General Relativity and Quantum Cosmology · Physics 2018-02-14 Qihong Huang , Puxun Wu , Hongwei Yu

We consider a $(4 + 2k)$ - dimensional Einstein-Gauss-Bonnet model with the cosmological $\Lambda$-term. Exact stable solutions with three constant Hubble-like parameters in this model are obtained. In this case, the multidimensional…

General Relativity and Quantum Cosmology · Physics 2020-01-29 K. K. Ernazarov

In [Sh893], Shelah proves that (on a stationary set of cardinals) an AEC has not too many models or every model has extensions of arbitrary cardinality. We show that, if we assume limited amalgamation, then the second condition holds for a…

Logic · Mathematics 2015-11-04 Will Boney

Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We…

Commutative Algebra · Mathematics 2016-05-30 Hiroki Matsui , Ryo Takahashi
‹ Prev 1 4 5 6 7 8 10 Next ›