Manuscript IV-B@1 · IV-B-v1.tex · section · dfb66408
Two grades and one necessary subdivision
Scope, philosophy, and the corrected release › Two grades and one necessary subdivision · lines 180–186
The construction below achieves Grade S in the first, interface sense, using an explicit flat completion for the represented fields. It does not establish the additional intrinsic-cone field adaptation. This subdivision is necessary: the two meanings are not interchangeable.