:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Liu, Shixiao
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2311.01005
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Preservation of Topological Properties by Strongly Proper Forcings
by: Gilton, Thomas, et al.
Published: (2024)

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
by: Gilton, Thomas
Published: (2025)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)

A Variant Of Chaitin's Omega function
by: Li, Yuxuan, et al.
Published: (2025)

Separating Subversion Forcing Axioms
by: Sakai, Hiroshi, et al.
Published: (2023)

On Cohen and Prikry Forcing Notions
by: Benhamou, Tom, et al.
Published: (2022)

On the consistency of NF via Fuzzy Forcing
by: Simón, Nicolás Sevilla
Published: (2025)

Rank and Independence of Imaginaries in Proper Pairs of ACF
by: Zhu, Zixuan
Published: (2026)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

Non-Normal Magidor-Radin Types of Forcings
by: Benhamou, Tom, et al.
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

SAT Solving for Variants of First-Order Subsumption
by: Coutelier, Robin, et al.
Published: (2024)

Paraconsistent Relations as a Variant of Kleene Algebras
by: Cunha, Juliana, et al.
Published: (2025)

Variants of Solovay reducibility
by: Titov, Ivan
Published: (2024)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

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

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
by: Hirvonen, Minna
Published: (2023)

Variants of the chain-antichain principle in reverse mathematics
by: Hughes, Noah A.
Published: (2025)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
by: Meseguer, Jose
Published: (2024)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
by: Kieronski, Emanuel, et al.
Published: (2016)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
by: Găină, Daniel, et al.
Published: (2026)

Variants of Łoś's Theorem
by: Usuba, Toshimichi
Published: (2025)

An Algorithm for Variable-Length Proper-Name Compression
by: Dolby, James L.
Published: (1970)

Variants of Higher-Dimensional Automata
by: Bazille, Hugo, et al.
Published: (2026)

The Complexity of Proper Homotopy Equivalence of Graphs
by: Hoganson, Hannah, et al.
Published: (2024)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
by: Zhang, Cheng, et al.
Published: (2026)

Forcing, genericity and CBERS
by: Calderoni, Filippo, et al.
Published: (2025)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
by: Džamonja, Mirna
Published: (2026)

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

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

Forcing Diamond and Applications to Iterability
by: Mildenberger, Heike, et al.
Published: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
by: Haak, Lars B. van den, et al.
Published: (2024)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Axiomatization and Forcing in Set Theory with Urelements
by: Yao, Bokai
Published: (2022)