Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0305241

Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups

A. S. Kechris·V. G. Pestov·S. Todorcevic
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.

Explore related subjects

math.LOmath.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. S. Kechris, V. G. Pestov, S. Todorcevic. 2004-06-24. Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups. https://arxiv.org/abs/math/0305241

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Dubnov-Ivanov-Nagata-Higman Theorem for NIP nilrings

We prove that NIP nilrings of bounded nilexponent are nilpotent. We also deduce that NIP $ω$-categorical $n$-Engel Lie algebras of characteristic $p>n$ are nilpotent, yielding a case of the Lie algebra analogous of Wilson conjecture for $ω$-categorical groups.

math.LO↗
arXiv2026

Formalization of Filter-Method Construction for Real Numbers in Coq

This paper presents a formalization for a theory of constructing real numbers using concepts related to filters. The formalization is implemented using the Coq proof assistant and is grounded in axiomatic set theory. The theory encompasses various notions such as filters, ultrafilters, principal ultrafilters, and arithmetical ultrafilters. A special filter, namely the non-principal arithmetical ultrafilter, whose existence requires the Continuum Hypothesis to be proven, is employed to establish several non-standard number sets: *N, *Z and *Q. The set of real numbers, R, is subsequently derived by equivalently classifying a specific subset of *Q. The entire theory is thoroughly formalized, with each detail verified to ensure rigor and precision. This work contributes a new selection of foundational materials for the formalization of mathematical theories.

math.LO↗