BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Takayuki Kihara

Takayuki Kihara contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOLogic in Computer Sciencemath.GN

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2024arXiv

Degree spectra of homeomorphism types of compact Polish spaces

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $0'$-computable low$_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high$_{n}$-degrees are required to present the homeomorphism type of $X_n$. We also show that no compact Polish space has a least presentation with respect to Turing reducibility. The first version of this article appeared in April 2020. A major update was made in September 2023, with improved proofs and results. This is the final version from January 2024, with more results on Čech homology groups.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Ideal presentations and numberings of some classes of effective quasi-Polish spaces

The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an effective version of the domain-characterization of quasi-Polish spaces, describe effective extensions of quasi-Polish topologies, discover natural numberings of classes of effective quasi-Polish spaces, estimate the complexity of the (effective) homeomorphism relation and of some classes of spaces w.r.t. these numberings, and investigate degree spectra of continuous domains.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On some topics around the Wadge rank $ω_2$

Kechris and Martin showed that the Wadge rank of the $ω$-th level of the decreasing difference hierarchy of coanalytic sets is $ω_2$ under the axiom of determinacy. In this article, we give an alternative proof of the Kechris-Martin theorem, by understanding the $ω$-th level of the decreasing difference hierarchy of coanalytic sets as the (relative) hyperarithmetical processes with finite mind-changes. Based on this viewpiont, we also examine the gap between the increasing and decreasing difference hierarchies of coanalytic sets by relating them to the $Π^1_1$- and $Σ^1_1$-least number principles, respectively. We also analyze Weihrauch degrees of related principles.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A syntactic approach to Borel functions: Some extensions of Louveau's theorem

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $Γ$, then its $Γ$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If a Borel function on a Polish space happens to be a $Σ_t$-function, then one can effectively find its $Σ_t$-code hyperarithmetically relative to its Borel code. More generally, we prove extension-type, domination-type, and decomposition-type variants of Louveau's theorem for Borel functions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enumeration degrees and non-metrizable topology

The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $ω$-power of the Sierpiński space). Hence, every represented second-countable $T_0$-space determines a collection of enumeration degrees. For instance, Cantor space captures the total degrees, and the Hilbert cube captures the continuous degrees by definition. Based on these observations, we utilize general topology (particularly non-metrizable topology) to establish a classification theory of enumeration degrees of sets of natural numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Incomputability of Simply Connected Planar Continua

Le Roux and Ziegler asked whether every simply connected compact nonempty planar co-c.e. closed set always contains a computable point. In this paper, we solve the problem of le Roux and Ziegler by showing that there exists a contractible planar co-c.e. dendroid without computable points. We also provide several pathological examples of tree-like co-c.e. continua fulfilling certain global incomputability properties: there is a computable dendrite which does not *-include a co-c.e. tree; there is a co-c.e. dendrite which does not *-include a computable dendrite; there is a computable dendroid which does not *-include a co-c.e. dendrite. Here, a continuum A *-includes a member of a class P of continua if, for every positive real, A includes a P-continuum B such that the Hausdorff distance between A and B is smaller than the real.

0 citations0 reviewsNo code linkedOpen access