Buchumschlag

Searching problems above arithmetical transfinite recursion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Suzuki, Yudai, Yokoyama, Keita
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Relative leftmost path principles and omega-model reflections of transfinite inductions
von: Suzuki, Yudai
Veröffentlicht: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
von: Suzuki, Yudai, et al.
Veröffentlicht: (2024)

On some subtheories of strong dependent choice
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
von: Kaneko, Yuzuki, et al.
Veröffentlicht: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)

Completeness theorems for modal logic in second-order arithmetic
von: Shimomichi, Sho, et al.
Veröffentlicht: (2025)

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

Iterability for (transfinite) stacks
von: Schlutzenberg, Farmer
Veröffentlicht: (2018)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
von: Bahrami, Saeideh
Veröffentlicht: (2026)

Full normalization for transfinite stacks
von: Schlutzenberg, Farmer
Veröffentlicht: (2021)

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

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

The Reverse Mathematics of Analytic Measurability
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

Conservation of Ramsey's theorem for pairs and well-foundedness
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Primitive recursive categoricity spectra
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

On Translating Epistemic Operators in a Logic of Awareness
von: Kubono, Yudai
Veröffentlicht: (2026)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Peano Arithmetic, games and descent recursion
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Axiomatization of Büchi arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2024)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Definable sets in Skolem arithmetic
von: Kamiński, Łukasz
Veröffentlicht: (2025)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

Logic of Awareness for Nested Knowledge
von: Kubono, Yudai
Veröffentlicht: (2024)

Iterating reflection over intuitionistic arithmetic
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Relative to any non-arithmetic set
von: Harrison-Trainor, Matthew
Veröffentlicht: (2025)

Well-quasi-orders on finite trees and transfinite sequences
von: Chopra, Alakh Dhruv, et al.
Veröffentlicht: (2026)

On SCC-recursiveness in Quantitative Argumentation
von: Wang, Zongshun, et al.
Veröffentlicht: (2020)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
von: Kubono, Yudai, et al.
Veröffentlicht: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)

A non-sequential arithmetical theory with pairing
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2026)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Analysis of logics with arithmetic
von: Benedikt, Michael, et al.
Veröffentlicht: (2025)

Pathwise-random trees and models of second-order arithmetic
von: Barmpalias, George, et al.
Veröffentlicht: (2021)

Higher-order generalizations of stability and arithmetic regularity
von: Terry, C., et al.
Veröffentlicht: (2021)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
von: Bahrami, Saeideh
Veröffentlicht: (2022)

Models of true arithmetic are integer parts of nice real closed fields
von: Carl, Merlin
Veröffentlicht: (2013)

Higher arithmetic on the ordinals
von: Ducourtial, Adrian
Veröffentlicht: (2025)

The complexity of Presburger arithmetic with power or powers
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Complexity results for modal logic with recursion via translations and tableaux
von: Aceto, Luca, et al.
Veröffentlicht: (2023)