Copertina

Degree spectra of homeomorphism types of compact Polish spaces

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hoyrup, Mathieu, Kihara, Takayuki, Selivanov, Victor
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Degrees of incomputability, realizability and constructive reverse mathematics
di: Kihara, Takayuki
Pubblicazione: (2020)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
di: Kihara, Takayuki
Pubblicazione: (2022)

Many-one reducibility with realizability
di: Kihara, Takayuki
Pubblicazione: (2024)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
di: Ikeda, Mitsumasa, et al.
Pubblicazione: (2023)

What can Topology tell us about Logical Complexity?
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

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

Isomorphism of locally compact Polish metric structures
di: Malicki, Maciej
Pubblicazione: (2022)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
di: Kaneko, Yuzuki, et al.
Pubblicazione: (2026)

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

The Gamified Katětov order is not linear (in fact, very much not so)
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

On equivalence relations induced by locally compact abelian Polish groups
di: Ding, Longyun, et al.
Pubblicazione: (2022)

Partitions of Baire space into compact sets
di: Fischer, Vera, et al.
Pubblicazione: (2023)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

The set of distances in a Polish metric space
di: Clemens, John D.
Pubblicazione: (2025)

Continuous colorings on compact spaces
di: de Rancourt, Noé, et al.
Pubblicazione: (2025)

Stereographic compactification and affine bi-Lipschitz homeomorphisms
di: Grandjean, Vincent, et al.
Pubblicazione: (2023)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

Central H-spaces and banded types
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2023)

Sequentially compact separable spaces
di: Corral, Cesar, et al.
Pubblicazione: (2025)

Locally approximating groups of homeomorphisms of manifolds
di: Koberda, Thomas, et al.
Pubblicazione: (2024)

Isomorphism of almost locally compact Polish metric structures
di: Malicki, Maciej
Pubblicazione: (2025)

Turing Degrees of Hyperjumps
di: Jananthan, Hayden R., et al.
Pubblicazione: (2021)

First order rigidity of homeomorphism groups of manifolds
di: Kim, Sang-hyun, et al.
Pubblicazione: (2023)

Set theory, logic, and homeomorphism groups of manifolds
di: Hanson, James E., et al.
Pubblicazione: (2025)

Borel fields and measured fields of Polish spaces, Banach spaces, von Neumann algebras and C*-algebras
di: Vaes, Stefaan, et al.
Pubblicazione: (2024)

Maximal WAP and tame quotients of type spaces
di: Krupiński, Krzysztof, et al.
Pubblicazione: (2025)

Outward compactness
di: Holy, Peter, et al.
Pubblicazione: (2024)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
di: Melleray, Julien
Pubblicazione: (2026)

Primitive recursive categoricity spectra
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

Big Ramsey Degrees in Ultraproducts of Finite Structures
di: Bartošová, Dana, et al.
Pubblicazione: (2022)

Degrees of the finite model property: the antidichotomy theorem
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)

Randomness and Degree Theory for Infinite Time Register Machines
di: Carl, Merlin
Pubblicazione: (2015)

Reflecting compact $T_1$-spaces into bounded distributive lattices
di: Gehrke, Mai, et al.
Pubblicazione: (2024)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
di: Abbadini, Marco, et al.
Pubblicazione: (2022)

Primitive recursive categoricity spectra of functional structures
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
di: Damaj, Jad, et al.
Pubblicazione: (2024)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
di: Koberda, Thomas, et al.
Pubblicazione: (2023)