Buchumschlag

A note on continuous functions on metric spaces

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sanders, Sam
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B30, 03F35
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Connecting real and hyperarithmetical analysis
von: Sanders, Sam
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 countability and representations
von: Sanders, Sam
Veröffentlicht: (2026)

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

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

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

Sometimes tame, sometimes wild: weak continuity
von: Sanders, Sam
Veröffentlicht: (2024)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

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

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

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)

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

On inverse Goodstein sequences
von: Uftring, Patrick
Veröffentlicht: (2023)

The finite cohesiveness principle
von: Sun, Mengzhou
Veröffentlicht: (2025)

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

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

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

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

More conservativity for weak Kőnig's lemma
von: Freund, Anton, et al.
Veröffentlicht: (2024)

Effective inseparability and some applications in meta-mathematics
von: Cheng, Yong
Veröffentlicht: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
von: Cheng, Yong
Veröffentlicht: (2023)

The limitless First Incompleteness Theorem
von: Cheng, Yong
Veröffentlicht: (2021)

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
von: Freund, Anton
Veröffentlicht: (2024)

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

On the hierarchy of natural theories
von: Walsh, James
Veröffentlicht: (2021)

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

Arrow's theorem, ultrafilters, and reverse mathematics
von: Eastaugh, Benedict
Veröffentlicht: (2023)

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

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

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

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2024)

Encoding Sequences in Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
von: Müller, Sandra, et al.
Veröffentlicht: (2025)

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