English
Related papers

Related papers: Fra\"iss\'e limits of metric structures

200 papers

The general theory developed by Ben Yaacov for metric structures provides Fra\"iss\'e limits which are approximately ultrahomogeneous. We show here that this result can be strengthened in the case of relational metric structures. We give an…

Logic · Mathematics 2019-08-13 David Bryant , André Nies , Paul Tupper

For each $n\geq 2$, we show that the class of all finite $n$-dimensional partial orders, when expanded with $n$ linear orders which realize the partial order, forms a Fra\"iss\'e class and identify its Fra\"iss\'e limit…

Combinatorics · Mathematics 2025-01-16 Iian B. Smythe , Mithuna Threz , Max Wiebe

We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fra\"iss\'e limits of suitable classes of structures. Moreover by means of Fra\"iss\'e theory we provide new examples of AF algebras with strong…

We provide a self-contained introduction to the classical theory of universal-homogeneous models (also known as generic structures, rich models, or Fra\"iss\'e limits). In the literature, most treatments restrict consideration to embeddings…

Logic · Mathematics 2010-09-10 Silvia Barbina , Domenico Zambella

We develop the theory of homogeneous Polish ultrametric structures. Our starting point is a Fraisse class of finite structures and the crucial tool is the universal homogeneous epimorphism. The new Fraisse limit is an inverse limit,…

Logic · Mathematics 2023-11-10 W. Kubiś , Ch. Pech , M. Pech

We develop the theory of Fra\"iss\'e limits for classes of finite-dimensional multi-seminormed spaces, which are defined to be vector spaces equipped with a finite sequence of seminorms. We define a notion of a Fra\"iss\'e Fr\'echet space…

Functional Analysis · Mathematics 2021-10-22 Jamal K. Kawach , Jordi López-Abad

By a result of Zucker, every Fra\"iss\'e structure $\bf F$ for which the elements of $\mathrm{Age}(\bf F)$ have finite Ramsey degrees admits a Fra\"iss\'e precompact expansion $\bf F^{*}$ whose age $\mathrm{Age}(\bf F^{*})$ has the Ramsey…

Combinatorics · Mathematics 2019-03-28 Lionel Nguyen Van Thé

In this paper, we present a slightly modified version of Fra\"iss\'e theory which is used in a paper by Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk and Martino Lupini (arXiv:1411.4066) and another by…

Logic · Mathematics 2016-11-22 Shuhei Masumoto

Big Ramsey degrees of finite structures are usually considered with respect to a Fra\"{i} ss\'e limit. Building mainly on the work of Devlin, Sauer, Laflamme and Van Th\'e, in this paper we consider structures which are not Fra\"{i} ss\'e…

Combinatorics · Mathematics 2018-07-06 Dragan Masulovic

In this paper we describe the Fra\"iss\'e limit of finite MV-algebras and then prove that finite MV-algebras verify the Ramsey property. Then we show that MV-algebras are just a special case of a more general situation. In fact, under…

Logic · Mathematics 2025-07-31 Ciro Russo

We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all…

Logic · Mathematics 2018-09-24 Guillermo Badia , Carles Noguera

Let $M$ be a Fra\"{i}ss\'{e} structure (a countably infinite ultrahomogeneous structure). We refer to the class of structures embeddable in $M$ as the $\omega$-age of $M$. We consider the following two properties of $M$: we say that $M$ has…

Logic · Mathematics 2026-04-23 Rob Sullivan , Jeroen Winkel

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

Logic · Mathematics 2012-10-30 Cameron Donnay Hill

We realize the $\mathbb{F}_q$-algebra $M(\mathbb{F}_q)$ studied by von Neumann and Halperin as the Fra\"iss\'e limit of the class of finite-dimensional matrix algebras over a finite field $\mathbb{F}_q$ equipped with the rank metric. We…

Rings and Algebras · Mathematics 2021-05-24 Aaron Anderson

We introduce a Fra\"iss\'e theory for abstract Cuntz semigroups akin to the theory of Fra\"iss\'e categories developed by Kubi\'s. In particular, we show that any (Cuntz) Fra\"iss\'e category has a unique Fra\"iss\'e limit which is both…

Operator Algebras · Mathematics 2023-09-07 Laurent Cantier , Eduard Vilalta

We introduce a new class of compact metrizable spaces, which we call fences, and its subclass of smooth fences. We isolate two families $\mathcal F, \mathcal F_0$ of Hasse diagrams of finite partial orders and show that smooth fences are…

Logic · Mathematics 2021-05-24 Gianluca Basso , Riccardo Camerlo

We prove that the Fra\"iss\'e limit of a Fra\"iss\'e class $\mathcal C$ is the (unique) countable structure whose isomorphism type is comeager (with respect to a certain logic topology) in the Baire space of all structures whose age is…

Logic · Mathematics 2021-10-15 Zakhar Kabluchko , Katrin Tent

We present three examples of countable homogeneous structures (also called Fraisse limits) whose automorphism groups are not universal, namely, fail to contain isomorphic copies of all automorphism groups of their substructures. Our first…

Group Theory · Mathematics 2021-08-25 W. Kubis , S. Shelah

For any collection of finite structures closed under isomorphism (i.e., an age) which has the Hereditary Property (HP), the Joint Embedding Property (JEP), and the Cofinal Amalgamation Property (CAP), there is a unique (up to isomorphism)…

Logic · Mathematics 2026-02-02 Nathanael Ackerman , Cameron Freer , Mostafa Mirabi

We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…

Logic in Computer Science · Computer Science 2018-08-16 Daniel Leivant
‹ Prev 1 2 3 10 Next ›