最近のプレプリントです。領域理論にインスパイアされた方法で等式論理の無矛盾性を限定算術で示しています。Arnold Beckmannとの共著です
https://arxiv.org/abs/2203.04832
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
