Takuma Imamura

activity

20152026

most citedNonstandard methods in large-scale topology

4 citations · 11 across the 17 of their papers we have counts for

collaborators

Showing 2021Show all

2 papers · 1 filter

math.LO2021

Hypersequent Calculi for Intermediate Predicate Logics

Takuma Imamura, Shuya Matsumoto, Shin Quawai

We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom $\mathbf{LIN}\co…

math.GN2021

Sequential ends and nonstandard infinite boundaries of coarse spaces

Takuma Imamura

This paper is an addendum to the author's previous paper [#Im20a]. Miller et al. [#MSM10] introduced a functor $σ : pCoarse \to Sets$ , where $pCoarse$ i…