:: Library Catalog

Cover Image

Saved in:

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

Similar Items

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Some reflections on the relationship between logical incompleteness and concrete incompleteness
by: Cheng, Yong
Published: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

The Ouroboros Goodstein Principle
by: Fernández-Duque, David, et al.
Published: (2026)

Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)

Effectiveness and strong graph indivisibility
by: Dzhafarov, Damir D., et al.
Published: (2024)

Berkeley Cardinals and Vopěnka's Principle
by: Mohammd, Marwan Salam
Published: (2024)

On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)

Hjorth's reflection argument
by: Sargsyan, Grigor
Published: (2021)

A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

Formalization of the Filter Extension Principle (FEP) in Coq
by: Dou, Guowei, et al.
Published: (2024)

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
by: Nishimuta, Yuki
Published: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)

Approximation of hyperarithmetic analysis by $ω$-model reflection
by: Hashimoto, Koki
Published: (2024)

The weak Extension Principle
by: Vignati, Alessandro, et al.
Published: (2024)

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

Relationships between Principles of Choice in Second-Order Henkin Structures
by: Gaßner, Christine
Published: (2024)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
by: Gilton, Thomas, et al.
Published: (2022)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
by: Bahrami, Saeideh
Published: (2026)

Growth of regular partitions 4: strong regularity and the pairs partition
by: Terry, C.
Published: (2024)

"Weak yet strong" restrictions of Hindman's Finite Sums Theorem
by: Carlucci, Lorenzo
Published: (2016)

Growth of regular partitions 3: strong regularity and the vertex partition
by: Terry, C.
Published: (2024)

Relative leftmost path principles and omega-model reflections of transfinite inductions
by: Suzuki, Yudai
Published: (2024)

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
by: Schindler, Ralf, et al.
Published: (2024)

The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines
by: Carl, Merlin
Published: (2022)

Computably strongly self-absorbing C*-algebras
by: Goldbring, Isaac
Published: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)

A note on strong Erdős-Hajnal for graphs with bounded VC-minimal complexity
by: Fu, Yayi
Published: (2023)

Very ampleness in strongly minimal sets
by: Castle, Benjamin, et al.
Published: (2022)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Goldstern's Principle with respect to Hausdorff Measures
by: Goto, Tatsuya
Published: (2025)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)