ABSTRACT

Chain constructions occur in many mathematical arguments. One such construction we met in Theorem 8.4.1 (Löwenheim-Skolem downward for ≼.