Nuprl Theory subformula

(only non hidden objects are presented)

the other theories