English
Related papers

Related papers: Rigid models of Presburger arithmetic

200 papers

The article is devoted to the problem of Hilbert-Schmidt type analytic extensions in Hardy spaces over the infinite-dimensional unitary matrix group endowed with an invariant probability measure. An orthogonal basis of Hilbert-Schmidt…

Functional Analysis · Mathematics 2017-11-21 Oleh Lopushansky

We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger arithmetic.

Logic · Mathematics 2014-07-22 Alf Dolich , Julia Knight , Karen Lange , David Marker

Assuming the existence of a strong cardinal, we find a model of ZFC in which for each uncountable regular cardinal $\lambda,$ there is no universal graph of size $\lambda$.

Logic · Mathematics 2022-06-02 Mohammad Golshani

By considering non-trivial global deformations of the Witt (and the Virasoro) algebra given by geometric constructions it is shown that, despite their infinitesimal and formal rigidity, they are globally not rigid. This shows the need of a…

Quantum Algebra · Mathematics 2007-05-23 Alice Fialowski , Martin Schlichenmaier

Ginzburg algebras associated to triangulated surfaces provide a means to categorify the cluster algebras of these surfaces. As shown by Ivan Smith, the finite derived category of such a Ginzburg algebra can be embedded into the Fukaya…

Algebraic Topology · Mathematics 2023-06-22 Merlin Christ

Using the theory of pro-p groups and relative Poincar\'{e} duality, we define a type of cobordism category well suited to arithmetic topology. We completely classify topological quantum field theories on these two-dimensional versions of…

Number Theory · Mathematics 2026-03-12 Nadav Gropper , Oren Ben-Bassat

We investigate this class of groups originally called ulf (universal locally finite groups) of cardinality $\lambda$. We prove that for every locally finite group $G$ there is a canonical existentially closed extention of the same…

Logic · Mathematics 2021-09-03 Saharon Shelah

We define a complete Riemannian manifold X to be large-scale conformally rigid if all groups that are quasi-isometric to some complete Riemannian manifold of bounded geometry conformal to X are quasi-isometric to X. We prove that many…

Differential Geometry · Mathematics 2007-05-23 Sylvain Maillot

In this paper we describe an algorithm for the computation of canonical forms of finite subsets of $\mathbb{Z}^d$, up to affinities over $\mathbb{Z}$. For fixed dimension $d$, this algorithm has worst-case asymptotic complexity $O(n \log^2…

Data Structures and Algorithms · Computer Science 2018-09-28 Giovanni Paolini

Kinematic algebras can be realised on geometric spaces and constrain the physical models that can live on these spaces. Different types of kinematic algebras exist and we consider the interplay of these algebras for non-relativistic limits…

High Energy Physics - Theory · Physics 2022-04-26 Joaquim Gomis , Axel Kleinschmidt

Ellenberg and Gijswijt gave recently a new exponential upper bound for the size of three-term arithmetic progression free sets in $({\mathbb Z_p})^n$, where $p$ is a prime. Petrov summarized their method and generalized their result to…

Combinatorics · Mathematics 2017-01-09 Gábor Hegedűs

We consider Thompson's groups from the perspective of mapping class groups of surfaces of infinite type. This point of view leads us to the braided Thompson groups, which are extensions of Thompson's groups by infinite (spherical) braid…

Group Theory · Mathematics 2013-10-25 Louis Funar , Christophe Kapoudjian , Vlad Sergiescu

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin, Kreisel, and Lacombe assert the existence of NON-empty co-r.e. closed sets devoid of computable points: sets which are…

Logic in Computer Science · Computer Science 2011-08-04 Stéphane Le Roux , Martin Ziegler

We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied…

Logic · Mathematics 2016-09-07 Harvey M. Friedman

Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < \omega$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every…

Logic · Mathematics 2025-04-22 Eran Alouf , Antongiulio Fornasiero , Itay Kaplan

This paper focuses on greedy expansions, one possible representation of numbers, and on arithmetical operations with them. Performing addition or multiplication some additional digits can appear. We study bounds on the number of such digits…

Number Theory · Mathematics 2022-12-16 Magdaléna Tinková

In this paper we determine the representation type of some algebras of infinite matrices continuously controlled at infinity by a compact metrizable space. We explicitly classify their finitely presented modules in the finite and tame…

Representation Theory · Mathematics 2007-05-23 Fernando Muro

We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…

Rings and Algebras · Mathematics 2017-12-05 Alexei Belov-Kanel , Louis H. Rowen , Uzi Vishne

In the first section we recall some basic notions on Lie algebras. In a second time we study the algebraic variety of complex $n$-dimensional Lie algebras. We present different notions of deformations : Gerstenhaber deformations,…

Rings and Algebras · Mathematics 2007-05-23 Michel Goze

We investigate the Schr\"odinger representations of certain infinite-dimensional Heisenberg groups, using their corresponding Wigner transforms.

Representation Theory · Mathematics 2016-03-23 Ingrid Beltita , Daniel Beltita , Marius Mantoiu