:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Eskew, Monroe
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2503.00964
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Saturated ideals from Laver collapses
by: Eskew, Monroe
Published: (2024)

Dense ideals
by: Eskew, Monroe, et al.
Published: (2024)

Todorcevic's Problem on Rado's Conjecture
by: Eskew, Monroe, et al.
Published: (2026)

Colors of the Pseudotree
by: Chodounský, David, et al.
Published: (2025)

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

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

Toward a Characterization of Simulation Between Arithmetic Theories
by: Monroe, Hunter
Published: (2026)

Egorov ideals
by: Kwela, Adam
Published: (2023)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

Adding ultrafilters to Shelah's model for no nowhere dense ultrafilters
by: Raghavan, Dilip, et al.
Published: (2024)

On maximal nowhere dense sublocales
by: Nxumalo, Mbekezeli
Published: (2024)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)

Squares, ultrafilters and forcing axioms
by: Lambie-Hanson, Chris, et al.
Published: (2024)

Extension preservation on dense graph classes
by: Eleftheriadis, Ioannis
Published: (2024)

On Star operation and some ideals on the Baire space
by: Cieślak, Aleksander, et al.
Published: (2026)

Relative cofinality of ideals
by: Marton, Adam, et al.
Published: (2025)

Parameterized complexity of n-dense modal logics
by: Gasquet, Olivier
Published: (2026)

More on yet another ideal version of the bounding number
by: Kwela, Adam
Published: (2024)

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
by: Asperó, David, et al.
Published: (2022)

Metric ideals and its Structures Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)

On fresh sets in iterations of Prikry type forcing notions
by: Gitik, Moti, et al.
Published: (2024)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

Properties of Laver forcing associated with a co-ideal expressed via the Katetov order
by: la Rosa, Francisco Santiago Nieto-de, et al.
Published: (2026)

No covering with nowhere dense \textsf{P}-sets in the Cohen model
by: Dow, Alan, et al.
Published: (2025)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
by: Golshani, Mohammad, et al.
Published: (2016)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

Topology, forcing, and graph colourings
by: Greenberg, Noam, et al.
Published: (2026)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Walks along a weak square sequence and the non-semiproperness of Namba forcings
by: Tsukuura, Kenta
Published: (2025)

More nonamalgamable forcing extensions
by: Habič, Miha E., et al.
Published: (2025)

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
by: Ju, Daheng, et al.
Published: (2024)

Associative ideals in monoids
by: Zhuravlov, Volodymyr
Published: (2024)

Pathology of submeasures and $F_σ$ ideals
by: Martínez, Jorge, et al.
Published: (2022)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

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