Giovanni Sommaruga-Rosolemos

• Fixed point constructions in various theories of mathematical logic