No pages link to Characterizations of maximal consistent theories in the formal deductive system (NM-logic) and Cantor space.