Image de couverture de livre

On sequential theorems in Reverse Mathematics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Normann, Dag, Sanders, Sam
Format:	Preprint
Publié:	2024
Sujets:	Logic 03B30, 03F35
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On two recent extensions of the Big Five of Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

The uncountability of the reals and the Axiom of Choice
par: Normann, Dag, et autres
Publié: (2026)

Approximation theorems throughout Reverse Mathematics
par: Sanders, Sam
Publié: (2023)

Big in Reverse Mathematics: measure and category
par: Sanders, Sam
Publié: (2023)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

A note on continuous functions on metric spaces
par: Sanders, Sam
Publié: (2024)

Coding is hard
par: Sanders, Sam
Publié: (2024)

Connecting real and hyperarithmetical analysis
par: Sanders, Sam
Publié: (2024)

On countability and representations
par: Sanders, Sam
Publié: (2026)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
par: Kulshreshtha, Dhruv
Publié: (2024)

Sometimes tame, sometimes wild: weak continuity
par: Sanders, Sam
Publié: (2024)

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

On the computational properties of basic mathematical notions
par: Normann, Dag, et autres
Publié: (2022)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
par: Uftring, Patrick
Publié: (2022)

On some computational properties of open sets
par: Normann, Dag, et autres
Publié: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., et autres
Publié: (2024)

On inverse Goodstein sequences
par: Uftring, Patrick
Publié: (2023)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Arrow's theorem, ultrafilters, and reverse mathematics
par: Eastaugh, Benedict
Publié: (2023)

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

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

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

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

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

On the hierarchy of natural theories
par: Walsh, James
Publié: (2021)

$Π^0_4$ conservation of Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
par: Houérou, Quentin Le, et autres
Publié: (2024)

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

Independence and Induction in Reverse Mathematics
par: Belanger, David, et autres
Publié: (2024)

Feferman's completeness theorem
par: Pakhomov, Fedor, et autres
Publié: (2024)