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 math.LOShow all

4 papers · 1 filter

math.LO2026

Bluebirds and mockingbirds cannot produce a fixed-point combinator

Takuma Imamura

Let $B$ be the bluebird combinator with reduction rule $B x y z \to_{w} x (y z)$ , let $M$ be the mockingbird combinator with reduction rule $M x \to_{w} xx$ , and let $I$ be th…

math.LO2026

Hallucination, abstention, and computable inseparability

Takuma Imamura

The impossibility of eliminating hallucination, understood here as incorrect definite answers, in sufficiently expressive yes-or-no formal domains is an immediate consequence of cl…

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.LO2015

Game arguments in some existence theorems of Friedberg numberings

Takuma Imamura

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…