Copertina

Computably discrete represented spaces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Neumann, Eike, Pauly, Arno, Pradic, Cécilia, Valenti, Manlio
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic Logic in Computer Science General Topology 54G20, 54D15, 03F60, 03D78
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Sequential discontinuity and first-order problems
di: Pauly, Arno, et al.
Pubblicazione: (2024)

Countable spaces, realcompactness, and the pseudointersection number
di: Agostini, Claudio, et al.
Pubblicazione: (2023)

Semi-proximal spaces and normality
di: Almontashery, Khulod, et al.
Pubblicazione: (2023)

Consistency and independence phenomena involving cellular-Lindelof spaces
di: Hernández-Gutiérrez, Rodrigo, et al.
Pubblicazione: (2024)

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$
di: Dow, Alan, et al.
Pubblicazione: (2023)

The power of trees
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2025)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

Minimal covers in the Weihrauch degrees
di: Lempp, Steffen, et al.
Pubblicazione: (2023)

On Sierpiński sets, Hurewicz spaces and Hilgers functions
di: Marciszewski, Witold, et al.
Pubblicazione: (2025)

Computability of Separation Axioms in Countable Second Countable Spaces
di: DeLapo, Andrew, et al.
Pubblicazione: (2025)

$Ψ$-Spaces and Semi-Proximality
di: Almontashery, Khulod, et al.
Pubblicazione: (2024)

Finding descending sequences through ill-founded linear orders
di: Goh, Jun Le, et al.
Pubblicazione: (2020)

The weakness of finding descending sequences in ill-founded linear orders
di: Goh, Jun Le, et al.
Pubblicazione: (2024)

Uniform locales and their constructive aspects
di: Manuell, Graham
Pubblicazione: (2021)

A complete classification of the zero-dimensional homogeneous spaces under determinacy
di: Medini, Andrea
Pubblicazione: (2023)

Diamond on ladder systems and countably metacompact topological spaces
di: Carvalho, Rodrigo, et al.
Pubblicazione: (2023)

Slalom numbers
di: Cardona, Miguel A., et al.
Pubblicazione: (2024)

Embeddability of graphs and Weihrauch degrees
di: Cipriani, Vittorio, et al.
Pubblicazione: (2023)

Toposes with enough points as categories of étale spaces
di: van Gool, Sam, et al.
Pubblicazione: (2025)

Some results on the $π$-weight of countable Fréchet-Urysohn spaces
di: Dow, Alan
Pubblicazione: (2025)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

The surjection property and computable type
di: Amir, Djamel Eddine, et al.
Pubblicazione: (2023)

Universally meager sets in the Miller model and similar ones
di: Haberl, Valentin, et al.
Pubblicazione: (2025)

On Products of $Δ$-sets
di: Carvalho, Rodrigo Rey, et al.
Pubblicazione: (2023)

Non-trivial copies of N*
di: Dow, Alan
Pubblicazione: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
di: Sorg, Christopher
Pubblicazione: (2026)

Compactness and Symmetric Well Orders
di: Dasgupta, Abhijit
Pubblicazione: (2022)

An effective version of the Stone duality
di: Bazhenov, Nikolay A., et al.
Pubblicazione: (2026)

On the interplay between productively Menger and productively Hurewicz spaces in models of $\mathfrak b=\mathfrak d$
di: Repovš, Dušan D., et al.
Pubblicazione: (2025)

Preservation of some topological properties under forcing
di: Lambie-Hanson, Chris, et al.
Pubblicazione: (2026)

Not OCA and products of Frechet spaces
di: Dow, Alan
Pubblicazione: (2025)

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

Randomness versus superspeedability
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

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

The Complexity of Connectedness Relations on Polish Spaces
di: Hevessy, Michal, et al.
Pubblicazione: (2026)

Products of Directed Sets with Calibre $(ω_1, ω)$
di: Gartside, Paul, et al.
Pubblicazione: (2024)

Every finite-dimensional analytic space is $σ$-homogeneous
di: Agostini, Claudio, et al.
Pubblicazione: (2024)

$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies
di: Solecki, Sławomir
Pubblicazione: (2024)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

On the structure of modal and tense operators on a boolean algebra
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)