:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	He, Jialiang, Luo, Jintao, Zhang, Shuguo
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2604.26570
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ramsey regularity implies no MAD families without uniformization
von: He, Jialiang, et al.
Veröffentlicht: (2025)

Maximal eventually different families for uniformly weak Ramsey ideals
von: He, Jialiang, et al.
Veröffentlicht: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Relation-Algebraic Verification of Disjoint-Set Forests
von: Guttmann, Walter
Veröffentlicht: (2023)

A logic for instrumental obligation
von: Yan, Jialiang, et al.
Veröffentlicht: (2025)

Almost Disjointness Principles and $Q$-Space Cardinals
von: Rodrigues, Vinicius de Oliveira
Veröffentlicht: (2026)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Ramsey Theory and Bounding in Arithmetic
von: Cholak, Peter
Veröffentlicht: (2026)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
von: Bogaerts, Bart, et al.
Veröffentlicht: (2022)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2024)

Almost sure OTM-realizability
von: Carl, Merlin
Veröffentlicht: (2024)

More Ramsey theory for highly connected monochromatic subgraphs
von: Hrušák, Michael, et al.
Veröffentlicht: (2023)

Big Ramsey Degrees in Ultraproducts of Finite Structures
von: Bartošová, Dana, et al.
Veröffentlicht: (2022)

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

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

Maximal Prikry Sequences
von: Schimmerling, Ernest, et al.
Veröffentlicht: (2026)

A survey on big Ramsey structures
von: Hubička, Jan, et al.
Veröffentlicht: (2024)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
von: Schirrmacher, Nicole, et al.
Veröffentlicht: (2023)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

Ramsey theory of low-degree semialgebraic relations
von: Adibelli, Azem, et al.
Veröffentlicht: (2026)

Almost cohomology of finite-dimensional Lie rings
von: Invitti, Moreno
Veröffentlicht: (2026)

Ramsey-like theorems and immunities
von: Mimouni, Ahmed, et al.
Veröffentlicht: (2025)

The strength of Ramsey Theorem for coloring relatively large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2012)

Almost real closed fields with real analytic structure
von: Nguyen, Kien Huu, et al.
Veröffentlicht: (2024)

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

Full mad families of vector spaces and two local Ramsey theories
von: Yung, Clement
Veröffentlicht: (2025)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
von: Yung, Clement
Veröffentlicht: (2024)

Almost free algebras: from the word problem to elimination of quantifiers
von: Jia, Yifan, et al.
Veröffentlicht: (2026)

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

Complexity of codes for Ramsey positive sets
von: Wang, Allison
Veröffentlicht: (2024)

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

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
von: Lyon, Tim S.
Veröffentlicht: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
von: Simpson, Alex
Veröffentlicht: (2024)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Ramsey property for spaces with bilinear forms
von: Ivanov, Aleksander, et al.
Veröffentlicht: (2025)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
von: Balko, Martin, et al.
Veröffentlicht: (2021)

Maximal towers and ultrafilter bases in computability
von: Lempp, Steffen, et al.
Veröffentlicht: (2021)

Disjoint Stationary Sequences on an Interval of Cardinals
von: Jakob, Hannes
Veröffentlicht: (2023)