Imagen de Portada

Dilators and the reverse mathematics zoo

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Freund, Anton
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B30, 05D10, 03F15, 03F35
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Induction on Dilators and Bachmann-Howard Fixed Points
por: Aguilera, Juan P., et al.
Publicado: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
por: Freund, Anton
Publicado: (2021)

A non-speedup result for the chain-antichain principle over a weak base theory
por: Kowalik, Katarzyna W.
Publicado: (2025)

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

The finite cohesiveness principle
por: Sun, Mengzhou
Publicado: (2025)

The reverse mathematics of bounded Ramsey's theorem for pairs
por: Houérou, Quentin Le, et al.
Publicado: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
por: Kołodziejczyk, Leszek Aleksander, et al.
Publicado: (2026)

More conservativity for weak Kőnig's lemma
por: Freund, Anton, et al.
Publicado: (2024)

On inverse Goodstein sequences
por: Uftring, Patrick
Publicado: (2023)

Avoiding logical strength in real analysis
por: Freund, Anton, et al.
Publicado: (2026)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
por: Houérou, Quentin Le, et al.
Publicado: (2026)

Open questions about Ramsey-type statements in reverse mathematics
por: Patey, Ludovic
Publicado: (2015)

The strength of Ramsey's theorem for $α$-large sets
por: Carlucci, Lorenzo, et al.
Publicado: (2026)

Effective inseparability and some applications in meta-mathematics
por: Cheng, Yong
Publicado: (2022)

Weak and Strong Versions of Effective Transfinite Recursion
por: Uftring, Patrick
Publicado: (2022)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
por: Cheng, Yong
Publicado: (2023)

$Π^0_4$ conservation of the Ordered Variable Word theorem
por: Houérou, Quentin Le, et al.
Publicado: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
por: Houérou, Quentin Le, et al.
Publicado: (2024)

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
por: Freund, Anton
Publicado: (2024)

The behavior of higher proof theory I: Case $Σ^1_2$
por: Jeon, Hanul
Publicado: (2024)

Why the classes P and NP are not well-defined finitarily
por: Anand, Bhupinder Singh
Publicado: (2024)

Reflection ranks via infinitary derivations
por: Walsh, James
Publicado: (2021)

The limitless First Incompleteness Theorem
por: Cheng, Yong
Publicado: (2021)

On the hierarchy of natural theories
por: Walsh, James
Publicado: (2021)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
por: Buriola, Gabriele, et al.
Publicado: (2025)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
por: Aceves-Martínez, Bruno Fernando, et al.
Publicado: (2024)

Proof-theoretic dilator and intermediate pointclasses
por: Jeon, Hanul
Publicado: (2025)

Ramsey-like theorems for separable permutations
por: Houérou, Quentin Le, et al.
Publicado: (2025)

Remarks on Primitive Regulation
por: Rosko, Milan
Publicado: (2026)

Well-quasi-orders on finite trees and transfinite sequences
por: Chopra, Alakh Dhruv, et al.
Publicado: (2026)

(Extra)ordinary equivalences with the ascending/descending sequence principle
por: Fiori-Carones, Marta, et al.
Publicado: (2021)

On two recent extensions of the Big Five of Reverse Mathematics
por: Normann, Dag, et al.
Publicado: (2024)

A note on continuous functions on metric spaces
por: Sanders, Sam
Publicado: (2024)

On sequential theorems in Reverse Mathematics
por: Normann, Dag, et al.
Publicado: (2024)

Coding is hard
por: Sanders, Sam
Publicado: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
por: Kulshreshtha, Dhruv
Publicado: (2024)

Connecting real and hyperarithmetical analysis
por: Sanders, Sam
Publicado: (2024)

Approximation theorems throughout Reverse Mathematics
por: Sanders, Sam
Publicado: (2023)