:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Glazer, Elliot, Yao, Bokai
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2602.21970
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Global choice is not conservative over local choice for Zermelo set theory
por: Glazer, Elliot
Publicado: (2023)

Abstraction Principles and the Size of Reality
por: Yao, Bokai
Publicado: (2025)

Axiomatization and Forcing in Set Theory with Urelements
por: Yao, Bokai
Publicado: (2022)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
por: Hamkins, Joel David, et al.
Publicado: (2022)

Plenitudinous Urelements and the Definability of Cardinality
por: Yao, Bokai
Publicado: (2025)

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

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

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

Generic derivations, differential largeness, and NTP$_2$
por: Kaplan, Elliot, et al.
Publicado: (2025)

Monotone $T$-convex $T$-differential fields
por: Kaplan, Elliot, et al.
Publicado: (2023)

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

Dimension theory for the asymptotic couple of the field of logarithmic transseries
por: Gehret, Allen, et al.
Publicado: (2025)

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

Weak Indestructibility and Reflection
por: Holland, James
Publicado: (2022)

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

Reflections on Russell's antinomy
por: Cattabriga, Paola
Publicado: (2024)

The strong reflecting property and Harrington's Principle
por: Cheng, Yong
Publicado: (2015)

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

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

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

A tree rewriting system for the Reflection Calculus
por: Santiago-Fernández, Sofía, et al.
Publicado: (2024)

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

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
por: Benhamou, Tom, 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)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
por: Bobrow, Elliot, et al.
Publicado: (2025)

A lower bound on the analytic log-canonical threshold over local fields of positive characteristic
por: Glazer, Itay, et al.
Publicado: (2025)

Löb-Safe Logics for Reflective Agents
por: Ahrenbach, Seth
Publicado: (2024)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
por: Fábregas, Ignacio, et al.
Publicado: (2024)

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)

Semantically Reflected Programs
por: Kamburjan, Eduard, et al.
Publicado: (2025)

Split Principles
por: Fuchs, Gunter, et al.
Publicado: (2017)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
por: Gatterbauer, Wolfgang
Publicado: (2024)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
por: Glomsrud, Jon Arne, et al.
Publicado: (2024)

Small Scale Reflection for the Working Lean User
por: Gladshtein, Vladimir, et al.
Publicado: (2024)

Reflecting compact $T_1$-spaces into bounded distributive lattices
por: Gehrke, Mai, et al.
Publicado: (2024)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
por: McGeorge, Dag, et al.
Publicado: (2024)

Generic derivations on o-minimal structures
por: Fornasiero, Antongiulio, et al.
Publicado: (2019)

A dichotomy for $T$-convex fields with a monomial group
por: Kaplan, Elliot, et al.
Publicado: (2023)