:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Belanger, David, Chong, Chi Tat, Hölzl, Rupert, Stephan, Frank
Format:	Preprint
Published:	2024
Subjects:	Logic 03B30
Online Access:	https://arxiv.org/abs/2408.09796
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)

Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)

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

Approximation theorems throughout Reverse Mathematics
by: Sanders, Sam
Published: (2023)

Big in Reverse Mathematics: measure and category
by: Sanders, Sam
Published: (2023)

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

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

Randomness versus superspeedability
by: Hölzl, Rupert, et al.
Published: (2024)

Benign approximations and non-speedability
by: Hölzl, Rupert, et al.
Published: (2023)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

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

There is No Composition in the Computable Reducibility Degrees
by: Mourad, Daniel
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Ramsey-like theorems and immunities
by: Mimouni, Ahmed, et al.
Published: (2025)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

A note on continuous functions on metric spaces
by: Sanders, Sam
Published: (2024)

Coding is hard
by: Sanders, Sam
Published: (2024)

Connecting real and hyperarithmetical analysis
by: Sanders, Sam
Published: (2024)

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

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

On countability and representations
by: Sanders, Sam
Published: (2026)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

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

Open Problems in Computability Theory and Descriptive Set Theory
by: Barmpalias, George, et al.
Published: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)

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

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

Development Processes
by: Gorbow, Paul
Published: (2025)

One Form of Successive Approximation Method and Choice Problem
by: Bulitko, Valeriy K.
Published: (2000)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

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

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

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

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

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

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)