Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.23340 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)
by: Lutz, Patrick, et al.
Published: (2026)
Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)
by: Frey, Jonas
Published: (2024)
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)
by: Dreier, Jan, et al.
Published: (2024)
Combinatory Array Logic with Sums
by: Raya, Rodrigo
Published: (2023)
by: Raya, Rodrigo
Published: (2023)
Combinatorial properties of MAD families
by: Brendle, Jörg, et al.
Published: (2022)
by: Brendle, Jörg, et al.
Published: (2022)
Non-Galvin Filters
by: Benhamou, Tom, et al.
Published: (2022)
by: Benhamou, Tom, et al.
Published: (2022)
Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
by: Gilton, Thomas, et al.
Published: (2022)
by: Gilton, Thomas, et al.
Published: (2022)
From Partial to Monadic: Combinatory Algebra with Effects
by: Cohen, Liron, et al.
Published: (2025)
by: Cohen, Liron, et al.
Published: (2025)
Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)
by: Bodirsky, Manuel, et al.
Published: (2021)
Combinatory Completeness in Structured Multicategories
by: Kuzmin, Ivan, et al.
Published: (2025)
by: Kuzmin, Ivan, et al.
Published: (2025)
Formalization of the Filter Extension Principle (FEP) in Coq
by: Dou, Guowei, et al.
Published: (2024)
by: Dou, Guowei, et al.
Published: (2024)
Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
Filter-induced entailment relations in paraconsistent Gödel logics
by: Frittella, Sabine, et al.
Published: (2024)
by: Frittella, Sabine, et al.
Published: (2024)
CHAD: Combinatory Homomorphic Automatic Differentiation
by: Vákár, Matthijs, et al.
Published: (2021)
by: Vákár, Matthijs, et al.
Published: (2021)
Hybrid Maximal Filter Spaces
by: Gonzalez, David
Published: (2024)
by: Gonzalez, David
Published: (2024)
The Gluing Property
by: Hayut, Yair, et al.
Published: (2022)
by: Hayut, Yair, et al.
Published: (2022)
Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)
by: Bonnet, Édouard, et al.
Published: (2025)
Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)
by: Krueger, John
Published: (2026)
Merges of Smooth Classes and Their Properties
by: Bryant, Morgan
Published: (2024)
by: Bryant, Morgan
Published: (2024)
Results on Colored Tree Properties
by: Day, Gabriel
Published: (2025)
by: Day, Gabriel
Published: (2025)
Supercompact Measures and the Galvin Property
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
Computational Modelling for Combinatorial Game Strategies
by: Diaconescu, Răzvan
Published: (2024)
by: Diaconescu, Răzvan
Published: (2024)
Properties preserved by classes of Chu transforms
by: Parente, Francesco
Published: (2024)
by: Parente, Francesco
Published: (2024)
Saturation Properties of Ultrafilters in Canonical Inner Models
by: Benhamou, Tom
Published: (2022)
by: Benhamou, Tom
Published: (2022)
An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
by: Chen, Zhicheng
Published: (2025)
by: Chen, Zhicheng
Published: (2025)
Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
by: Džamonja, Mirna
Published: (2025)
by: Džamonja, Mirna
Published: (2025)
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
by: Andresel, Medina, et al.
Published: (2026)
by: Andresel, Medina, et al.
Published: (2026)
Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)
by: Enayat, Ali, et al.
Published: (2026)
Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
by: Kesting, Christoph
Published: (2024)
by: Kesting, Christoph
Published: (2024)
Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
by: Winter, Michael
Published: (2023)
by: Winter, Michael
Published: (2023)
The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)
by: Hoffelner, Stefan
Published: (2024)
A Modular First Formalisation of Combinatorial Design Theory
by: Edmonds, Chelsea, et al.
Published: (2021)
by: Edmonds, Chelsea, et al.
Published: (2021)
Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
by: He, Jialiang, et al.
Published: (2026)
by: He, Jialiang, et al.
Published: (2026)
Fragility Spectrum: Measuring Resilience in Model-Theoretic Properties under Language Expansions
by: Adilkhan, Nuraly
Published: (2025)
by: Adilkhan, Nuraly
Published: (2025)
Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
by: Gilton, Thomas
Published: (2025)
by: Gilton, Thomas
Published: (2025)
Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
by: Gilson, Frank
Published: (2026)
by: Gilson, Frank
Published: (2026)
The Finite Length Property of the Rado Graph and Friends
by: Yang, Jingjie, et al.
Published: (2026)
by: Yang, Jingjie, et al.
Published: (2026)
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)
by: Pati, Viresh, et al.
Published: (2026)
The Complexity of Learning Temporal Properties
by: Bordais, Benjamin, et al.
Published: (2024)
by: Bordais, Benjamin, et al.
Published: (2024)
Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
by: Lin, Deren, et al.
Published: (2014)
by: Lin, Deren, et al.
Published: (2014)