:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Cheng, Yong
Formato:	Preprint
Publicado:	2015
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/1503.04015
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Shininess, strong politeness, and unicorns
por: Przybocki, Benjamin, et al.
Publicado: (2025)

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

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

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

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

Reflection Principles in ZFU
por: Glazer, Elliot, et al.
Publicado: (2026)

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

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

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

Hjorth's reflection argument
por: Sargsyan, Grigor
Publicado: (2021)

A New Weak Choice Principle
por: Halbeisen, Lorenz, et al.
Publicado: (2021)

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

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

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

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
por: Nishimuta, Yuki
Publicado: (2019)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
por: Narusevych, Mykyta
Publicado: (2022)

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

Iterating reflection over intuitionistic arithmetic
por: Frittaion, Emanuele
Publicado: (2024)

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

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

The weak Extension Principle
por: Vignati, Alessandro, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

Computably strongly self-absorbing C*-algebras
por: Goldbring, Isaac
Publicado: (2024)

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

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

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

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

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

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

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