:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Glazer, Elliot, Yao, Bokai
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2602.21970
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)

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

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

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)

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

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

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

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

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

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

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

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

Weak Indestructibility and Reflection
by: Holland, James
Published: (2022)

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

Reflections on Russell's antinomy
by: Cattabriga, Paola
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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)

Semantically Reflected Programs
by: Kamburjan, Eduard, et al.
Published: (2025)

Split Principles
by: Fuchs, Gunter, et al.
Published: (2017)

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

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

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

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

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

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

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