:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hoyrup, Mathieu, Kihara, Takayuki, Selivanov, Victor
Format:	Preprint
Published:	2020
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2004.06872
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Degrees of incomputability, realizability and constructive reverse mathematics
by: Kihara, Takayuki
Published: (2020)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

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

Many-one reducibility with realizability
by: Kihara, Takayuki
Published: (2024)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

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

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

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

Isomorphism of locally compact Polish metric structures
by: Malicki, Maciej
Published: (2022)

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

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

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

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

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

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

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

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

Isomorphism of almost locally compact Polish metric structures
by: Malicki, Maciej
Published: (2025)

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

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

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

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

Sequentially compact separable spaces
by: Corral, Cesar, et al.
Published: (2025)

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

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

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

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

Turing Degrees of Hyperjumps
by: Jananthan, Hayden R., et al.
Published: (2021)

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

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

Outward compactness
by: Holy, Peter, et al.
Published: (2024)

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

Primitive recursive categoricity spectra
by: Bazhenov, Nikolay, et al.
Published: (2026)

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

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

Local generation of languages
by: Hoyrup, Mathieu
Published: (2025)

Local generation of languages: the monotonic binary sequences
by: Hoyrup, Mathieu
Published: (2026)

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

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

An anti-classification theorem for minimal homeomorphisms on the torus
by: Peng, Bo
Published: (2025)