Fbi a model M of Peano Arithmetic, let Lt(M) be the lattice of its elementary substructures, and let Lt + +(M) be the equivalenced lattice (Lt(M),≌M), where ≌M is the equivalence relation of isomorphism on Lt(M) It is known that Lt+(M) is always a reasonable equivalenced lattice.
展开▼