There is an implication appearing in a lot of works on the measurement problem in QM:
(1) |S> |M0> = ( Σj αj |sj> ) |M0> → Σj αj |sj> |Mj>
where |S> = Σj αj |sj> is the state of the quantum system before the interaction with the apparatus, { |sj> } is the set of eigenstates of the measured operator, |M0> is the initial state of the macroscopic apparatus and |Mj> is the apparatus state which records the |sj> microscopic state.
The questions are:
1) What is |M0>? A macroscopic state of the apparatus, or a microscopic state of a microscopic part of the apparatus?
2) What are |Mj>? Macroscopic states of the apparatus, or microscopic state of the same microscopic part of the apparatus?
I opened this discussion because some people argue ad absurdum that |Mj> are macroscopic states of the apparatus, although the QM formalism does not support such a thing - Schrodinger's cat cannot be in a superposition of alive and dead.