そんな問いがふと浮かぶ。 私たちはふだん、人間が言葉を使い、言葉で行為するのが当たり前だと考えている。 たとえば「結婚します」と口にすれば、それは行為そのものとなる。 ──こうした発想を整理したのが、いわゆる「言語行為論（Speech Act Theory ...

Computable model theory investigates the algorithmic aspects of model theoretic structures, aiming to delineate the boundaries between the computable and non-computable within various algebraic and ...

The theory of totally disconnected locally compact (t.d.l.c.)~groups has advanced considerably in recent years. Lie groups over the valued fields ℚ p of p-adic numbers and 𝔽 q ((X)) of formal Laurent ...