English
Related papers

Related papers: Superstable theories and representation

200 papers

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

Logic · Mathematics 2021-02-03 Amador Martin-Pizarro , Martin Ziegler

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

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ \alpha\in\omega+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $…

Logic · Mathematics 2025-10-16 Ali N. Valizadeh , Massoud Pourmahdian

We find some new results regarding the existence, uniqueness, boundedness, stability and attractivity of the solutions of a class of initial-boundary-value problems characterized by a quasi-linear third order equation which may have…

Mathematical Physics · Physics 2012-09-28 Armando D'Anna , Gaetano Fiore

We study and develop a notion of isogeny for superstable groups. We prove several fundamental properties of the notion and then use it to formulate and prove uniqueness results. Connections to existing model theoretic notions are explained.

Logic · Mathematics 2011-10-11 James Freitag

Motivated by the ubiquitous sampled-data setup in applied control, we examine the stability of a class of difference equations that arises by sampling a right- or left-invariant flow on a matrix Lie group. The map defining such a difference…

Dynamical Systems · Mathematics 2019-02-11 Philip James McCarthy , Christopher Nielsen

We study stability patterns in the high dimensional rational homology of unordered configuration spaces of manifolds. Our results follow from a general approach to stability phenomena in the homology of Lie algebras, which may be of…

Algebraic Topology · Mathematics 2022-07-25 Ben Knudsen , Jeremy Miller , Philip Tosteson

We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of…

Logic · Mathematics 2007-05-23 Saharon Shelah , Alex Usvyatsov

We review the concept of well-posedness in the context of evolutionary problems from mathematical physics for a particular subclass of problems from elasticity theory. The complexity of physical phenomena appears as encoded in so called…

Analysis of PDEs · Mathematics 2016-10-27 Rainer Picard , Sascha Trostorff , Marcus Waurick

This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…

Logic · Mathematics 2018-05-09 A. V. Mikhalev , E. V. Ovchinnikova , E. A. Palyutin , A. A. Stepanova

Church-Ellenberg-Farb used the language of FI-modules to prove that the cohomology of certain sequences of hyperplane arrangements with S_n-actions satisfies representation stability. Here we lift their results to the level of the…

Geometric Topology · Mathematics 2016-06-13 Nir Gadish

It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will…

Logic · Mathematics 2026-03-04 James Walsh

Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We…

Artificial Intelligence · Computer Science 2015-02-06 Ramanathan Guha

A first-order theory is Noetherian with respect to the collection of formulae $\mathcal{F}$ if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}$ and the topology whose subbasis of closed sets is the…

Logic · Mathematics 2024-08-14 Amador Martin-Pizarro , Martin Ziegler

We investigate the presence of twinlike models in theories described by several real scalar fields. We focus on the first-order formalism, and we show how to build distinct scalar field theories that support the same extended solution, with…

High Energy Physics - Theory · Physics 2014-03-17 D. Bazeia , A. S. Lobão , L. Losano , R. Menezes

We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories…

Logic · Mathematics 2023-05-30 Itay Kaplan , Nicholas Ramsey , Pierre Simon

We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…

Logic · Mathematics 2024-10-24 Daniel Max Hoffmann , Chieu-Minh Tran , Jinhe Ye

Supersymmetry can be consistently generalized in one and two dimensional spaces, fractional supersymmetry being one of the possible extension. 2D fractional supersymmetry of arbitrary order $F$ is explicitly constructed using an adapted…

High Energy Physics - Theory · Physics 2008-02-03 M. Rausch de Traubenberg , P. Simon

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

Logic · Mathematics 2011-05-17 Ehud Hrushovski

We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…

Logic · Mathematics 2026-03-11 Itaï Ben Yaacov , Tomás Ibarlucía
‹ Prev 1 3 4 5 6 7 10 Next ›