:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	He, Jialiang, Luo, Jintao, Zhang, Shuguo
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2604.26570
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ramsey regularity implies no MAD families without uniformization
by: He, Jialiang, et al.
Published: (2025)

Maximal eventually different families for uniformly weak Ramsey ideals
by: He, Jialiang, et al.
Published: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Relation-Algebraic Verification of Disjoint-Set Forests
by: Guttmann, Walter
Published: (2023)

A logic for instrumental obligation
by: Yan, Jialiang, et al.
Published: (2025)

Almost Disjointness Principles and $Q$-Space Cardinals
by: Rodrigues, Vinicius de Oliveira
Published: (2026)

Disjoint Partial Enumeration without Blocking Clauses
by: Spallitta, Giuseppe, et al.
Published: (2023)

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
by: Bogaerts, Bart, et al.
Published: (2022)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
by: Spallitta, Giuseppe, et al.
Published: (2024)

Almost sure OTM-realizability
by: Carl, Merlin
Published: (2024)

More Ramsey theory for highly connected monochromatic subgraphs
by: Hrušák, Michael, et al.
Published: (2023)

Big Ramsey Degrees in Ultraproducts of Finite Structures
by: Bartošová, Dana, et al.
Published: (2022)

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

Maximal Prikry Sequences
by: Schimmerling, Ernest, et al.
Published: (2026)

A survey on big Ramsey structures
by: Hubička, Jan, et al.
Published: (2024)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
by: Schirrmacher, Nicole, et al.
Published: (2023)

Enriching Ontologies with Disjointness Axioms using Large Language Models
by: Crum, Elias, et al.
Published: (2024)

Ramsey theory of low-degree semialgebraic relations
by: Adibelli, Azem, et al.
Published: (2026)

Almost cohomology of finite-dimensional Lie rings
by: Invitti, Moreno
Published: (2026)

Ramsey-like theorems and immunities
by: Mimouni, Ahmed, et al.
Published: (2025)

The strength of Ramsey Theorem for coloring relatively large sets
by: Carlucci, Lorenzo, et al.
Published: (2012)

Almost real closed fields with real analytic structure
by: Nguyen, Kien Huu, et al.
Published: (2024)

A new perspective on semi-retractions and the Ramsey property
by: Bartošová, Dana, et al.
Published: (2022)

Full mad families of vector spaces and two local Ramsey theories
by: Yung, Clement
Published: (2025)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
by: Yung, Clement
Published: (2024)

Almost free algebras: from the word problem to elimination of quantifiers
by: Jia, Yifan, et al.
Published: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

Complexity of codes for Ramsey positive sets
by: Wang, Allison
Published: (2024)

Infinite Games and Ramsey Properties of $F_σ$ Ideals
by: Gómez, José de Jesús Pelayo
Published: (2018)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
by: Lorenz Halbeisen, et al.
Published: (2024)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

Ramsey property for spaces with bilinear forms
by: Ivanov, Aleksander, et al.
Published: (2025)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
by: Balko, Martin, et al.
Published: (2021)

Maximal towers and ultrafilter bases in computability
by: Lempp, Steffen, et al.
Published: (2021)

Disjoint Stationary Sequences on an Interval of Cardinals
by: Jakob, Hannes
Published: (2023)