:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Eskew, Monroe, Mohammadpour, Rahman
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2603.23092
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Saturated ideals from Laver collapses
por: Eskew, Monroe
Publicado: (2024)

Comparing forcing approaches to dense ideals
por: Eskew, Monroe
Publicado: (2025)

Chang's Conjectures and Easton collapses
por: Eskew, Monroe, et al.
Publicado: (2024)

Dense ideals
por: Eskew, Monroe, et al.
Publicado: (2024)

Colors of the Pseudotree
por: Chodounský, David, et al.
Publicado: (2025)

Martin's Axiom and Weak Kurepa Hypothesis
por: Mohammadpour, Rahman
Publicado: (2024)

Erdős-Rado Classes
por: Boney, Will
Publicado: (2018)

A Road To Compactness Through Guessing Models
por: Mohammadpour, Rahman
Publicado: (2022)

A Note on a Theorem of Apter
por: Mohammadpour, Rahman, et al.
Publicado: (2026)

On Indestructible Strongly Guessing Models
por: Mohammadpour, Rahman, et al.
Publicado: (2023)

The Finite Length Property of the Rado Graph and Friends
por: Yang, Jingjie, et al.
Publicado: (2026)

Toward a Characterization of Simulation Between Arithmetic Theories
por: Monroe, Hunter
Publicado: (2026)

A Proposed Characterization of p-Simulation Between Theories
por: Monroe, Hunter
Publicado: (2025)

Symbolic Sets for Proving Bounds on Rado Numbers
por: Ahmed, Tanbir, et al.
Publicado: (2025)

Automorphisms of the Rado meet-tree
por: Kaplan, Itay, et al.
Publicado: (2023)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
por: Abraham, Uri, et al.
Publicado: (2023)

Borel sets of Rado graphs and Ramsey's Theorem
por: Dobrinen, Natasha
Publicado: (2019)

The Discontinuity Problem
por: Brattka, Vasco
Publicado: (2020)

A Conjecture for ATP Research
por: Bibel, Wolfgang
Publicado: (2024)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
por: Ayhan, Sara
Publicado: (2025)

The Proof Analysis Problem
por: Arteche, Noel, et al.
Publicado: (2025)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
por: Nakamura, Yuki
Publicado: (2026)

The Batesonian Completeness Conjecture: A Universal Framework for Mathematical Resolution via Recursive Type Arithmetic and Frame Ecology
por: Kevin Fathi
Publicado: (2025)

The Existential Closedness and Zilber-Pink Conjectures
por: Aslanyan, Vahagn
Publicado: (2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
por: Alhessi, Yousef, et al.
Publicado: (2025)

The Cofinal Strong Chang Conjecture from Models of Determinacy
por: Lagadec, Corentin
Publicado: (2026)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
por: Zhuk, Dmitriy
Publicado: (2024)

Martin's Conjecture in the Enumeration Degrees
por: Cordero, Antonio Nakid
Publicado: (2025)

Network Satisfaction Problems Solved by k-Consistency
por: Bodirsky, Manuel, et al.
Publicado: (2023)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
por: Huang, Ruanqianqian, et al.
Publicado: (2025)

A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture
por: Duda, Karol
Publicado: (2021)

Galvin's Conjecture and Weakly Precipitous Ideals
por: Eisworth, Todd
Publicado: (2023)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
por: Vitali, Fabio
Publicado: (2025)

Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
por: Alm, Jeremy F., et al.
Publicado: (2019)

$ω$-Regular Energy Problems
por: Dziadek, Sven, et al.
Publicado: (2022)

Algorithmic Problems for Computation Trees
por: Moshkov, Mikhail
Publicado: (2025)

Implication Problems over Positive Semirings
por: Hirvonen, Minna
Publicado: (2025)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
por: Dong, Kefan, et al.
Publicado: (2025)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
por: Zhuk, Dmitriy
Publicado: (2024)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
por: Lutz, Patrick, et al.
Publicado: (2023)