Cover Image

Weak Indestructibility and Reflection

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Holland, James
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Indestructible Strongly Guessing Models
by: Mohammadpour, Rahman, et al.
Published: (2023)

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

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)

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

Weakly o-minimal types
by: Moconja, Slavko, et al.
Published: (2024)

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

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

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

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
by: Benhamou, Tom, et al.
Published: (2024)

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

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
by: Masato Fujita
Published: (2025)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
by: Yung, Clement
Published: (2024)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
by: Ulrich, Danielle
Published: (2024)

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

Growth of regular partitions 2: Weak regularity
by: Terry, C.
Published: (2024)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

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

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

Weak Baumgartner axioms and universal spaces
by: Switzer, Corey Bacal
Published: (2025)

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

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Weak diamond and pcf theory
by: Garti, Shimon
Published: (2024)

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

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

Towards Proving Liveness on Weak Memory (Extended Version)
by: Bargmann, Lara, et al.
Published: (2026)

A Behavioral Theory for Distributed Systems with Weak Recovery
by: Fabbretti, Giovanni, et al.
Published: (2024)

Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
by: Leonardo Raffaello Maximilian Gasparro, et al.
Published: (2026)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
by: Bezhanishvili, Nick, et al.
Published: (2024)

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

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
by: Lommen, Nils, et al.
Published: (2022)

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

A classification of incompleteness statements
by: Towsner, Henry, et al.
Published: (2024)

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

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

Weak Permission is not Well-Founded, Grounded and Stable
by: Governatori, Guido
Published: (2024)

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

Simple Homogeneous Structures and Indiscernible Sequence Invariants
by: Baldwin, John, et al.
Published: (2024)