A New Perspective on Semi-Retractions and the Ramsey Property

Journal of Symbolic Logic 89 (3):945-979 (2024)
  Copy   BIBTEX

Abstract

We investigate the notion of a semi-retraction between two first-order structures (in typically different signatures) that was introduced by the second author as a link between the Ramsey property and generalized indiscernible sequences. We look at semi-retractions through a new lens establishing transfers of the Ramsey property and finite Ramsey degrees under quite general conditions that are optimal as demonstrated by counterexamples. Finally, we compare semi-retractions to the category theoretic notion of a pre-adjunction.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

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

Through your library

Similar books and articles

Symmetries between two Ramsey properties.Lorenz Halbeisen - 1998 - Archive for Mathematical Logic 37 (4):241-260.
Ramsey transfer to semi-retractions.Lynn Scow - 2021 - Annals of Pure and Applied Logic 172 (3):102891.
Indiscernibles, EM-Types, and Ramsey Classes of Trees.Lynn Scow - 2015 - Notre Dame Journal of Formal Logic 56 (3):429-447.
Mathias absoluteness and the Ramsey property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
Big Ramsey degrees in universal inverse limit structures.Natasha Dobrinen & Kaiyun Wang - 2023 - Archive for Mathematical Logic 62 (3):471-503.
A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
Semi-Isolation and the Strict Order Property.Sergey Sudoplatov & Predrag Tanović - 2015 - Notre Dame Journal of Formal Logic 56 (4):555-572.

Analytics

Added to PP
2024-03-09

Downloads
15 (#1,244,127)

6 months
7 (#740,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On ◁∗-maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
Quasi finitely axiomatizable totally categorical theories.Gisela Ahlbrandt & Martin Ziegler - 1986 - Annals of Pure and Applied Logic 30 (1):63-82.
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
Characterization of NIP theories by ordered graph-indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.

View all 8 references / Add more references