A collection of topological Ramsey spaces of trees and their application to profinite graph theory

Archive for Mathematical Logic 57 (7-8):939-952 (2018)
  Copy   BIBTEX

Abstract

We construct a collection of new topological Ramsey spaces of trees. It is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. We give an example of its application by proving a partition theorem for profinite graphs.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-018-0617-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ramsey classes of topological and metric spaces.Jaroslav Nešetřil - 2006 - Annals of Pure and Applied Logic 143 (1-3):147-154.
Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points.Natasha Dobrinen, José G. Mijares & Timothy Trujillo - 2017 - Archive for Mathematical Logic 56 (7-8):733-782.
Generalizations of small profinite structures.Krzysztof Krupiński - 2010 - Journal of Symbolic Logic 75 (4):1147-1175.
Dynamic topological logic.S. Artemov - unknown
Local Ramsey theory: an abstract approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Some modifications of Scott's theorem on injective spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
On topological set theory.Thierry Libert & Olivier Esser - 2005 - Mathematical Logic Quarterly 51 (3):263-273.
A notion of selective ultrafilter corresponding to topological Ramsey spaces.José G. Mijares - 2007 - Mathematical Logic Quarterly 53 (3):255-267.
Spaces allowing Type‐2 Complexity Theory revisited.Matthias Schröder - 2004 - Mathematical Logic Quarterly 50 (4-5):443-459.
On a duality between Boolean valued analysis and topological Reduction Theory.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):23-32.
Profinite structures interpretable in fields.Krzysztof Krupiński - 2006 - Annals of Pure and Applied Logic 142 (1):19-54.
On topological spaces equivalent to ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.

Analytics

Added to PP
2018-02-10

Downloads
8 (#1,256,193)

6 months
3 (#928,914)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Big Ramsey degrees in universal inverse limit structures.Natasha Dobrinen & Kaiyun Wang - 2023 - Archive for Mathematical Logic 62 (3):471-503.

Add more citations

References found in this work

Every analytic set is Ramsey.Jack Silver - 1970 - Journal of Symbolic Logic 35 (1):60-64.
A Partition Theorem.J. D. Halpern - 1974 - Journal of Symbolic Logic 39 (1):181-182.

Add more references