Copertina

Sequential discontinuity and first-order problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pauly, Arno, Soldà, Giovanni
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Logic in Computer Science General Topology 03D78, 03D30, 54H05
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Computably discrete represented spaces
di: Neumann, Eike, et al.
Pubblicazione: (2025)

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

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

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

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

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

More on the indivisibility of $\mathbb{Q}$
di: Pauly, Arno
Pubblicazione: (2024)

Complexity of deep computations via topology of function spaces
di: Dueñez, Eduardo, et al.
Pubblicazione: (2026)

A jump operator on the Weihrauch degrees
di: Andrews, Uri, et al.
Pubblicazione: (2024)

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

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

Definable compactness in o-minimal structures
di: Guerrero, Pablo Andújar
Pubblicazione: (2024)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

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

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

Simultaneous Sequential Compactness
di: Resteghini, Sirio, et al.
Pubblicazione: (2025)

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

Chains and antichains in the Weihrauch lattice
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

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

Effective weak convergence and tightness of measures in computable Polish spaces
di: Rojas, Diego A.
Pubblicazione: (2024)

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

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

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

The descriptive complexity of the set of arc-connected compact subsets of the plane
di: Debs, Gabriel, et al.
Pubblicazione: (2026)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
di: Rauzy, Emmanuel
Pubblicazione: (2023)

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

Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)

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

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

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

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
di: Hertling, Peter, et al.
Pubblicazione: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, 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)

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

Definable separability and second-countability in o-minimal structures
di: Guerrero, Pablo Andújar
Pubblicazione: (2024)

New definitions in the theory of Type 1 computable topological spaces
di: Rauzy, Emmanuel
Pubblicazione: (2023)

Almost Disjointness Principles and $Q$-Space Cardinals
di: Rodrigues, Vinicius de Oliveira
Pubblicazione: (2026)

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

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

Evaluative presentations
di: McNicholl, Timothy H.
Pubblicazione: (2024)