実閉体の理論やプレスバーガー算術を扱ってる和書というと

竹内外史 数学基礎論の世界　（実閉体）
田中一之 数の体系と超準モデル　（実閉体、プレスバーガー算術）

ぐらいかな