Sheaves and prime model extensions
existence of the real closure of an ordered field in any topos of sheaves on a Boolean space
existence of the real closure of any commutative regular f-ring
differential analogue of the Pierce representation theory
model completeness of two theories of differential regular rings
scientific article; zbMATH DE number 3728244
scientific article