English
Related papers

Related papers: Existential characterizations of monadic NIP

200 papers

A profinite group G is just infinite if every non-trivial closed normal subgroup of G is of finite index, and hereditarily just infinite if every open subgroup is just infinite. Hereditarily just infinite profinite groups need not be…

Group Theory · Mathematics 2010-10-22 Colin D. Reid

A character (ordinary or modular) is called orthogonally stable if all non-degenerate quadratic forms fixed by representations with those constituents have the same determinant mod squares. We show that this is the case provided there are…

Representation Theory · Mathematics 2022-08-29 Gabriele Nebe , Richard Parker

Let $T$ be a consistent o-minimal theory extending the theory of densely ordered groups and let $T'$ be a consistent theory. Then there is a complete theory $T^*$ extending $T$ such that $T$ is an open core of $T^*$, but every model of…

Logic · Mathematics 2017-10-10 Philipp Hieronymi , Travis Nell , Erik Walsberg

This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a model companion. This result is motivated by criteria and…

Logic · Mathematics 2022-10-07 Alexi Block Gorman

As it was argued by Anderson [Science 177, 393 (1972)], the "reductionist" hypothesis does not by any means imply a "constructionist" one. Hence, in general, the behavior of large and complex aggregates of elementary components can not be…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Ricardo Lopez-Ruiz , Daniele Fournier-Prunaret

Let $f(x)\in {\mathbb Z}[x]$ be monic of degree $N\ge 2$. Suppose that $f(x)$ is monogenic, and that $f(x)$ is the characteristic polynomial of the $N$th order linear recurrence sequence $\Upsilon_f:=(U_n)_{n\ge 0}$ with initial conditions…

Number Theory · Mathematics 2024-06-03 Lenny Jones

We present a simple class of mechanical models where a canonical degree of freedom interacts with another one with a negative kinetic term, i.e. with a ghost. We prove analytically that the classical motion of the system is completely…

General Relativity and Quantum Cosmology · Physics 2021-08-16 Cédric Deffayet , Shinji Mukohyama , Alexander Vikman

We show that $\omega$-categorical rings with NIP are nilpotent-by-finite. We prove that an $\omega$-categorical group with NIP and fsg is nilpotent-by-finite. We also notice that an $\omega$-categorical group with at least one strongly…

Logic · Mathematics 2010-07-06 Krzysztof Krupinski

We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.

Algebraic Geometry · Mathematics 2007-12-06 J. Denef , F. Loeser

Suppose that M is an infinite structure with finite relational vocabulary such that every relation symbol has arity at most 2. If M is simple and homogeneous then its complete theory is supersimple with finite SU-rank which cannot exceed…

Logic · Mathematics 2015-04-08 Vera Koponen

In this short paper we prove that a finite dimensional algebra is hereditary if and only if there is no loop in its ordinary quiver and every $\tau$-tilting module is tilting.

Representation Theory · Mathematics 2015-07-10 Yichao Yang , Jinde Xu

A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…

Logic · Mathematics 2021-10-15 Alfred Dolich , John Goodrick

We examine the issue of stability of probability in reasoning about complex systems with uncertainty in structure. Normally, propositions are viewed as probability functions on an abstract random graph where it is implicitly assumed that…

Artificial Intelligence · Computer Science 2017-12-14 Subhash Kak

We classify primitive, rank 1, omega-categorical structures having polynomially many types over finite sets. For a fixed number of 4-types, we show that there are only finitely many such structures and that all are built out of finitely…

Logic · Mathematics 2022-08-02 Pierre Simon

Several networks occurring in real life have modular structures that are arranged in an hierarchical fashion. In this paper, we have proposed a model for such networks, using a stochastic generation method. Using this model we show that,…

Physics and Society · Physics 2009-03-12 Raj Kumar Pan , Sitabhra Sinha

Let $\ell^p$ be the space of all $p$-summable sequences on $\mathbb{Z}$. An infinite matrix is said to have $\ell^p$-stability if it is bounded and has bounded inverse on $\ell^p$. In this paper, a practical criterion is established for the…

Operator Algebras · Mathematics 2009-07-24 Qiyu Sun

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…

Algebraic Topology · Mathematics 2012-01-04 Emmanuel D. Farjoun , Kathryn Hess

We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We consider the following notion due to N.Thi\'ery and the second author. A…

Combinatorics · Mathematics 2023-12-12 Djamila Oudrar , Maurice Pouzet

Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the…

Logic · Mathematics 2019-12-17 Franziska Jahnke

Conditions are given which imply that certain non-autonomous analytic iterated function systems (NIFS's) in the complex plane have uniformly perfect attractor sets, while other conditions imply the attractor is pointwise thin, and thus…

Dynamical Systems · Mathematics 2021-01-28 Mark Comerford , Kurt Falk , Rich Stankewitz , Hiroki Sumi
‹ Prev 1 8 9 10 Next ›