集合論
フレーゲ構造（Frege structure）、構成的集合論、基礎の公理の成り立たない集合論（non-well-founded set theory）の一つであるアクゼル集合論（ZFC-+AFA）などの業績で知られる。