generally true two sequences math dots n math math b dots b n math satisfy type ''a'' mapped automorphism structure math mathcal math converse holds ''a'' smaller cardinality math mathcal math called '''homogeneous''' real number line atomic language contains order math math since ''n'' types empty set realised math dots n math math mathbb r math isolated order relations math dots n math saturated however since
Humanities Philosophy Logic Mathematical logic Model theory