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

Takuma Imamura

Takuma Imamura contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GNmath.GMmath.GRmath.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
4topics
0close 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

8 published item(s)

preprint2022arXiv

A nonstandard construction of direct limit group actions

Manevitz and Weinberger (1996) proved that the existence of effective $K$-Lipschitz $\mathbb{Z}/n\mathbb{Z}$-actions implies the existence of effective $K$-Lipschitz $\mathbb{Q}/\mathbb{Z}$-actions for all compact connected manifolds with metrics, where $K$ is a fixed Lipschitz constant. The $\mathbb{Q}/\mathbb{Z}$-actions were constructed from suitable actions of a sufficiently large hyperfinite cyclic group ${}^{\ast}{\mathbb{Z}}/γ^{\ast}{\mathbb{Z}}$ in the sense of nonstandard analysis. By modifying their construction, we prove that for every direct system $\left(Λ,G_λ,i_{λμ}\right)$ of torsion groups with monomorphisms, the existence of effective $K$-Lipschitz $G_λ$-actions implies the existence of effective $K$-Lipschitz $\varinjlim G_λ$-actions. This generalises Manevitz and Weinberger's result.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Nonstandard methods in large-scale topology II

This paper is a sequel of Imamura (2019) (arXiv:1711.01609) where we set up a framework of nonstandard large-scale topology. In the present paper, we apply our framework to various topics in large-scale topology: spaces having with both small-scale and large-scale structures, large-scale structures on nonstandard extensions, size properties of subsets of coarse spaces, and coarse hyperspaces.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the definition of neutrosophic logic

Smarandache (2003) introduced a new set-valued fuzzy logic called (nonstandard) neutrosophic logic by using Robinson's nonstandard analysis. However, its definition involved many errors including the illegal use of nonstandard analysis. In this paper, we provide a rigorous definition of neutrosophic logic. All the errors in the original definition are addressed. We then point out some paradoxes of neutrosophic logic. Finally we formulate neutrosophic logic with no use of nonstandard analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sequential ends and nonstandard infinite boundaries of coarse spaces

This paper is an addendum to the author's previous paper [#Im20a]. Miller et al. [#MSM10] introduced a functor $σ\colon\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathbf{pCoarse}$ is the category of pointed coarse spaces and coarse maps. DeLyser et al. [#DLT13] introduced a functor $\varepsilon\colon\mathbf{pCoarse}\to\mathbf{Sets}$, and proved that $\varepsilon$ coincides with $σ$ on $\mathbf{pMetr}$ (the full subcategory of metrisable spaces). Using techniques of nonstandard analysis, the author in [#Ima20a] provided a functor $ι\colon\mathscr{C}\subseteq\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathscr{C}$ is an arbitrary small full subcategory, and a natural transformation $ω\colonσ\restriction\mathscr{C}\Rightarrowι$. The surjectivity of $ω$ has been proved for all proper geodesic metrisable spaces, while the injectivity has remained open. In this note, we first pointed out that $ω$ is the composition of two natural transformations $φ\restriction\mathscr{C}\colonσ\restriction\mathscr{C}\Rightarrow\varepsilon\restriction\mathscr{C}$ and $ω'\colon\varepsilon\restriction\mathscr{C}\Rightarrowι$, and then show that $ω'$ is injective for all spaces in $\mathscr{C}$. As a corollary, $ω$ is injective for all metrisable spaces in $\mathscr{C}$. This partially answers some of the problems posed in [#Ima20a].

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A nonstandard invariant of coarse spaces

We construct a set-valued invariant $ι\left(X,ξ\right)$ of pointed coarse spaces $\left(X,ξ\right)$ by using nonstandard analysis. The invariance under coarse equivalence is established. A sufficient condition for the invariant to be of cardinality $\leq1$ is provided. Miller et al. and subsequent researchers have introduced a similar but standard set-valued coarse invariant $σ\left(X,ξ\right)$ of pointed metric spaces $\left(X,ξ\right)$. In order to compare these two invariants, we construct a natural transformation $ω_{\left(X,ξ\right)}$ from $σ\left(X,ξ\right)$ to $ι\left(X,ξ\right)$. The surjectivity of $ω_{\left(X,ξ\right)}$ is proved for all proper geodesic spaces $\left(X,ξ\right)$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Another view of the coarse invariant $σ$

Miller, Stibich and Moore (2010) developed a set-valued coarse invariant $σ\left(X,ξ\right)$ of pointed metric spaces. DeLyser, LaBuz and Tobash (2013) provided a different way to construct $σ\left(X,ξ\right)$ (as the set of all sequential ends). This paper provides yet another definition of $σ\left(X,ξ\right)$. To do this, we introduce a metric on the set $S\left(X,ξ\right)$ of coarse maps $\left(\mathbb{N},0\right)\to\left(X,ξ\right)$, and prove that $σ\left(X,ξ\right)$ is equal to the set of coarsely connected components of $S\left(X,ξ\right)$. As a by-product, our reformulation trivialises some known theorems on $σ\left(X,ξ\right)$, including the functoriality and the coarse invariance.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Asymmetric completions of partial metric spaces

Ge and Lin (2015) proved the existence and the uniqueness of p-Cauchy completions of partial metric spaces under symmetric denseness. They asked if every (non-empty) partial metric space $X$ has a p-Cauchy completion $\bar{X}$ such that $X$ is dense but not symmetrically dense in $\bar{X}$. We construct asymmetric p-Cauchy completions for all non-empty partial metric spaces. This gives a positive answer to the question. We also provide a nonstandard construction of partial metric completions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Game arguments in some existence theorems of Friedberg numberings

We provide game-theoretic proofs of some well-known existence theorems of Friedberg numberings for the class of all partial computable functions, including (1) the existence of two incomparable Friedberg numberings; (2) the existence of a uniformly c.e. sequence of pairwise incomparable Friedberg numberings; (3) the existence of a uniformly c.e. independent sequence of Friedberg numberings. Parameterizing these proofs, we have game-theoretic proofs of Kummer's criteria and their modifications.

0 citations0 reviewsNo code linkedOpen access