English
Related papers

Related papers: On Tameness, Measurability and the Independence Pr…

200 papers

Index theorem is formulated in noncommutative geometry with finite degrees of freedom by using Ginsparg-Wilson relation. It is extended to the case where the gauge symmetry is spontaneously broken. Dynamical analysis about topological…

High Energy Physics - Theory · Physics 2009-11-13 Hajime Aoki

Given a prime $p$, a number field $\K$ and a finite set of places $S$ of $\K$, let $\K_S$ be the maximal pro-$p$ extension of $\K$ unramified outside $S$. Using the Golod-Shafarevich criterion one can often show that $\K_S/\K$ is infinite.…

Number Theory · Mathematics 2019-01-15 Farshid Hajir , Christian Maire , Ravi Ramakrishna

A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…

Logic · Mathematics 2013-02-20 Saharon Shelah

We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC $K$ is tame, type-short, and failure of an order-property, we consider {\bf Definition.} Let $M_0 \prec…

Logic · Mathematics 2017-01-06 Will Boney , Rami Grossberg

Let X be a projective surface, let \sigma be an automorphism of X, and let L be a \sigma-ample invertible sheaf on X. We study the properties of a family of subrings, parameterized by geometric data, of the twisted homogeneous coordinate…

Rings and Algebras · Mathematics 2010-09-07 Susan J. Sierra

Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving…

Logic in Computer Science · Computer Science 2026-04-01 Leonid A. Levin

Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem,…

Logic in Computer Science · Computer Science 2016-03-04 Edward Hermann Haeusler

We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we…

Logic · Mathematics 2016-02-22 Åsa Hirvonen , Tapani Hyttinen

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

Algebraic Topology · Mathematics 2009-10-24 Stefan Papadima , Alexandru I. Suciu

We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.

Logic · Mathematics 2010-03-19 Antongiulio Fornasiero

We associate to every quandle $X$ and an associative ring with unity $\mathbf{k}$, a nonassociative ring $\mathbf{k}[X]$ following [3]. The basic properties of such rings are investigated. In particular, under the assumption that the inner…

Rings and Algebras · Mathematics 2020-08-04 Mohamed Elhamdadi , Neranga Fernando , Boris Tsvelikhovskiy

Let $\Lambda$ be a finite-dimensional basic algebra over an algebraically closed field $k$. The well-known Drozd's theorem asserts, that $\Lambda$ is either tame or wild. The Crawley-Boevey's Theorem states that for a given tame algebra…

Representation Theory · Mathematics 2014-03-25 Yingbo Zhang , Yunge Xu

We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…

Logic · Mathematics 2016-03-10 Gianluca Paolini , Jouko Väänänen

For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and…

Metric Geometry · Mathematics 2009-11-25 Marius Buliga

We consider the problem of computing the measure of a regular language of infinite binary trees. While the general case remains unsolved, we show that the measure of a language defined by a first-order formula with no descendant relation or…

Logic in Computer Science · Computer Science 2018-09-11 Marcin Przybyłko

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

K-Theory and Homology · Mathematics 2024-05-08 Benjamin Antieau , Achim Krause , Thomas Nikolaus

For uniformly dicrete metric spaces without bounded geometry we suggest a modified version of property A based on metrics of bounded geometry greater than the given metric. We show that this version still implies coarse embeddability in…

Metric Geometry · Mathematics 2025-07-15 V. Manuilov

This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an…

Logic · Mathematics 2025-01-28 Christian d'Elbée

We continue our study of ends of non-compact manifolds, with a focus on the inward tameness condition. For manifolds with compact boundary, inward tameness, has significant implications. For example, such manifolds have stable homology at…

Geometric Topology · Mathematics 2017-04-19 Craig R. Guilbault , Frederick C. Tinsley

We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.

Representation Theory · Mathematics 2015-01-27 Yuriy A. Drozd , Vasyl V. Zembyk
‹ Prev 1 3 4 5 6 7 10 Next ›