English
Related papers

Related papers: First-order model theory and Kaplansky's stable fi…

200 papers

The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…

Logic · Mathematics 2014-02-10 Itaï Ben Yaacov , Arthur Paul Pedersen

It is shown that finite-index extensions and finite-index subgroups of $\omega$-stable groups can be model-theoretically wild. More precisely, there exists an $\omega$-stable group $G$ such that any given countable first-order structure in…

Logic · Mathematics 2026-05-15 Yatir Halevi , Saharon Shelah

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

It is shown by Makai, Martini, and \'Odor that a convex body $K\subset\mathbb{R}^n$, all of whose maximal sections pass through the origin, must be origin-symmetric. We prove a stability version of this result. We also discuss a theorem of…

Metric Geometry · Mathematics 2015-06-16 Matthew Stephen , Vladyslav Yaskin

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…

Operator Algebras · Mathematics 2025-03-25 James Gabe , Gábor Szabó

Let $G$ be a reductive group over a non-archimedean local field $F$ of residue characteristic $p$. We prove that the Hecke algebras of $G(F)$ with coefficients in a ${\mathbb Z}_{\ell}$-algebra $R$ for $\ell$ not equal to $p$ are finitely…

Representation Theory · Mathematics 2022-04-25 Jean-Francois Dat , David Helm , Robert Kurinczuk , Gilbert Moss

We prove that subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some asymptotically small sets on spheres, are bounded from above everywhere. It follows that subharmonic functions of…

Complex Variables · Mathematics 2020-09-11 Bulat N. Khabibullin

We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…

Operator Algebras · Mathematics 2014-02-12 Rasmus Bentmann

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

Group Theory · Mathematics 2021-04-12 Alireza Abdollahi , Meisam Soleimani Malekan

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming…

Logic · Mathematics 2018-11-22 Sebastien Vasey

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is…

Logic · Mathematics 2007-05-23 John Goodrick

Given a ring $R$, we have a classical result stating that the ordinary category of modules is the abelianization of the category of augmented $R$-algebras. Analogously, using the framework of infinity categories and higher algebra, Francis…

Category Theory · Mathematics 2024-10-01 Fei Yu Chen

Motivated by bifurcation of branches of homoclinic orbits of dynamical systems, we consider families of first-order equations on the real line and introduce a generalisation of previous index theorems by Pejsachowicz, and by Hu and…

Dynamical Systems · Mathematics 2026-03-24 Robert Skiba , Daniel Strzelecki , Nils Waterstraat

Greenberg's conjecture on the stability of $\ell$-class groups in the cyclotomic $\mathbb{Z}_{\ell}$-extension of a real field has been proven for various infinite families of real quadratic fields for the prime $\ell=2$. In this work, we…

Number Theory · Mathematics 2025-01-23 H Laxmi , Anupam Saikia

We show that a finite unitary group which has orbits spanning the whole space is necessarily the setwise stabilizer of a certain orbit.

Group Theory · Mathematics 2019-01-29 Erik Friese

We provide a new condition for an absolutely almost simple algebraic group to have good reduction with respect to a discrete valuation of the base field which is formulated in terms of the existence of maximal tori with special properties.…

Number Theory · Mathematics 2023-12-15 Vladimir I. Chernousov , Andrei S. Rapinchuk , Igor A. Rapinchuk

We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…

Group Theory · Mathematics 2007-05-23 Nikolay Nikolov , Dan Segal

Let $R$ be a commutative $k-$algebra over a field $k$. Assume $R$ is a noetherian, infinite, integral domain. The group of $k-$automorphisms of $R$,i.e.$Aut_k(R)$ acts in a natural way on $(R-k)$.In the first part of this article, we study…

Commutative Algebra · Mathematics 2021-02-11 Pramod K. Sharma

Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m}…

Group Theory · Mathematics 2008-03-11 Günter Lettl , Zhi-Wei Sun

Let $FG$ be the group algebra of a finite $p$-group $G$ over a finite field $F$ of positive characteristic $p$. Let $\cd$ be an involution of the algebra $FG$ which is a linear extension of an anti-automorphism of the group $G$ to $FG$. If…

Group Theory · Mathematics 2022-06-07 Zsolt Adam Balogh