:: Library Catalog

Cover Image

Saved in:

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

Similar Items

On two consequences of CH established by Sierpinski. II
by: Pol, Roman, et al.
Published: (2024)

The Synthetic Sierpiński Cone
by: Bakke, Fredrik, et al.
Published: (2026)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
by: Shelah, Saharon
Published: (1991)

Geometric duality, perfect graphs, and the Sierpiński space
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2026)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)

The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)

When is the partial map classifier a Sierpiński cone?
by: Pugh, Leoni, et al.
Published: (2025)

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

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

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
by: Li, Zhengyu, et al.
Published: (2026)

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

On Sierpiński sets, Hurewicz spaces and Hilgers functions
by: Marciszewski, Witold, et al.
Published: (2025)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
by: Chen, Zhicheng
Published: (2025)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Derivatives for Containers in Univalent Foundations
by: Joram, Philipp, et al.
Published: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

A Function-Set Framework: General Properties and Applications to Modal Logic
by: Bayzid, Luke, et al.
Published: (2025)

Functions Definable by Numerical Set-Expressions
by: Pratt-Hartmann, Ian, et al.
Published: (2009)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
by: Diéguez, Martín, et al.
Published: (2026)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

The homeomorphisms of the Sierpiński carpet are not classifiable by countable structures
by: Kulshreshtha, Dhruv, et al.
Published: (2024)

Reduction Complexities in Set Theory
by: Carl, Merlin
Published: (2025)

Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)

Gödel's Program in Set Theory
by: Müller, Sandra, et al.
Published: (2024)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Agnostic Online Learning and Excellent Sets
by: Malliaris, Maryanthe, et al.
Published: (2021)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Set Descriptive Complexity of Solvable Functions
by: Gozzi, Riccardo, et al.
Published: (2024)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
by: Rettich, Adrian
Published: (2024)

Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)

Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
by: Hansen, Zachary, et al.
Published: (2025)

Cardinalities of Ultraproducts of Finite Sets in ZF + DC
by: Kowalczyk, Jacob
Published: (2025)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

Set-Theoretic Hypodoxes and co-Russell's Paradox
by: Šujan, Timotej
Published: (2024)

A Note on OTM-Realizability and Constructive Set Theories
by: Carl, Merlin
Published: (2019)