Cover Image

Descending sequences in reflection hierarchies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Łełyk, Mateusz, Walsh, James
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
by: Fernández-Duque, David, et al.
Published: (2022)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

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

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

Incompleteness in Quantified Conditional Logic
by: Kocurek, Alexander W., et al.
Published: (2026)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Decomposition of Płonka sums into direct systems
by: Mruczek-Nasieniewska, Krystyna, et al.
Published: (2024)

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

Bounded ultraimaginary independence and its total Morley sequences
by: Hanson, James
Published: (2022)

Sign sequences of log-atomic numbers
by: Bagayoko, Vincent
Published: (2024)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
by: Mottet, Antoine, et al.
Published: (2021)

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

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

Individual choice sequences -- History, development and use
by: Niekus, Joop
Published: (2025)

New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

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

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

Arity hierarchies for quantifiers closed under partial polymorphisms
by: Dawar, Anuj, et al.
Published: (2025)

Capturing the polynomial hierarchy by second-order revised Krom logic
by: Wang, Kexu, et al.
Published: (2022)

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

Walks along a weak square sequence and the non-semiproperness of Namba forcings
by: Tsukuura, Kenta
Published: (2025)

Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)

Mad families of Gowers' infinite block sequences
by: Yung, Clement
Published: (2024)

Computable Folner sequences of amenable groups
by: Duda, Karol, et al.
Published: (2025)

Strongly increasing sequences
by: Larson, Paul B., et al.
Published: (2025)

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

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Remarks on convergence of Morley sequences
by: Khanaki, Karim
Published: (2021)

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems
by: Barto, Libor, et al.
Published: (2024)

On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$
by: Schmitz, Sylvain, et al.
Published: (2023)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)