:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Belanger, David, Chong, Chi Tat, Hölzl, Rupert, Stephan, Frank
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B30
Online-Zugang:	https://arxiv.org/abs/2408.09796
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

On sequential theorems in Reverse Mathematics
von: Normann, Dag, et al.
Veröffentlicht: (2024)

Approximation theorems throughout Reverse Mathematics
von: Sanders, Sam
Veröffentlicht: (2023)

Big in Reverse Mathematics: measure and category
von: Sanders, Sam
Veröffentlicht: (2023)

On two recent extensions of the Big Five of Reverse Mathematics
von: Normann, Dag, et al.
Veröffentlicht: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
von: Kulshreshtha, Dhruv
Veröffentlicht: (2024)

Randomness versus superspeedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Benign approximations and non-speedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2023)

Independence questions in a finite axiom-schematization of first-order logic
von: Jubin, Benoit
Veröffentlicht: (2022)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

There is No Composition in the Computable Reducibility Degrees
von: Mourad, Daniel
Veröffentlicht: (2024)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Ramsey-like theorems and immunities
von: Mimouni, Ahmed, et al.
Veröffentlicht: (2025)

Extensional Independence
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2025)

A note on continuous functions on metric spaces
von: Sanders, Sam
Veröffentlicht: (2024)

Coding is hard
von: Sanders, Sam
Veröffentlicht: (2024)

Connecting real and hyperarithmetical analysis
von: Sanders, Sam
Veröffentlicht: (2024)

Open questions about Ramsey-type statements in reverse mathematics
von: Patey, Ludovic
Veröffentlicht: (2015)

Tarski's Undefinability Theorem and first-order arithmetic
von: Boyce, Stephen
Veröffentlicht: (2010)

On countability and representations
von: Sanders, Sam
Veröffentlicht: (2026)

The uncountability of the reals and the Axiom of Choice
von: Normann, Dag, et al.
Veröffentlicht: (2026)

A Reflection Principle for Potential Infinite Models of Type Theory
von: Eberl, Matthias
Veröffentlicht: (2024)

Open Problems in Computability Theory and Descriptive Set Theory
von: Barmpalias, George, et al.
Veröffentlicht: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

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

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

Development Processes
von: Gorbow, Paul
Veröffentlicht: (2025)

One Form of Successive Approximation Method and Choice Problem
von: Bulitko, Valeriy K.
Veröffentlicht: (2000)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

When Bi-interpretability implies Synonymy
von: Friedman, Harvey M., et al.
Veröffentlicht: (2025)

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
von: Uftring, Patrick
Veröffentlicht: (2022)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

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

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)