[This is akin to a living review, which may improve from time to time. Last edited 2015427.]
This post will summarize the various consistency conditions that can be found discussed in the consistent histories literature. Most of the conditions have gone by different names under different authors (and sometimes even under the same author), so I’ll try to give all the aliases I know; just hover over the footnote markers.
There is an overarching schism in the choice of terminology in the literature between the terms “consistent” and “decoherent”. Most authors, including GellMann and Hartle, now use the term “decoherent” very loosely and no longer employ “consistent” as an official label for any particular condition (or for the formalism as a whole). Zurek and I believe this is a significant loss in terminology, and we are stubbornly resisting it. In our recent arXiv offering, our rant was thus:
…we emphasize that decoherence is a dynamical physical process predicated on a distinction between system and environment, whereas consistency is a static property of a set of histories, a Hamiltonian, and an initial state. For a given decohering quantum system, there is generally a preferred basis of pointer states [1, 8]. In contrast, the mere requirement of consistency does not distinguish a preferred set of histories which describe classical behavior from any of the many sets with no physical interpretation.
(See also the first footnote on page 3347 of “Classical Equations for Quantum Systems”^{a } which agrees with the importance of this conceptual distinction.) Since GellMann and Hartle did many of the investigations of consistency conditions, some conditions have only appeared in the literature using their terminology (like “mediumstrong decoherence”). Nevertheless, I will exploit my homeblog advantage by putting my preferred terminology in italics and all alternate terminology in the footnotes. I eagerly tilt at windmills.
This post is largely based on papers by Halliwell, GellMann and Hartle, and us where many of the various consistency conditions are reviewed.
Notation and terminology
An orthogonal Heisenbergpicture projectors is , and a set of mutuallyexclusive and exhaustive such projectors is , so that , , and . For multiple times , a finegrained history is constructed by selecting a single projector at each time, where is the alternative at times . The set of all finegrained histories forms the sample space . A coarsegrained history is a subset of , and it corresponds to a class operator , where the class operator of a finegrained history is .
A history is said to be homogeneous^{b } (or is said to have the “chain form”) if its class operator can be written as a chain of projectors at the different times; this obviously includes all the finegrained histories, but it also includes coarsegrained histories where each time step is coarsegrained independent of the other time steps. Histories that cannot be written in this way are called inhomogeneous.
There is a coarsegraining partial order on the space of all possible coarsegrained histories, denoted by , when the finegrained histories composing one are contained within the other: .
The state is given by . The decoherence functional is . The (unnormalized) conditional states are . For a given tensor factorization of the Hilbert space, the partialtrace decoherence functional with respect to is .
A (single) consistent history is a history that is a member of any consistent set of histories (defined below); equivalently, a consistent history is one for which .
A set of orthogonal, mutually exclusive projections operators are said to be records^{c } of the histories when .
In the special case that the state is pure, , we give the name branches (or “branch state vectors”^{d }) to the conditional pure states .
Fragile probabilities, logical conditions, and physical conditions
The conditions are listed below in roughly increasing order of strength^{e }. The first four of them are generally considered too weak to be physically reasonable, now being merely of historical and conceptual interest for understanding the formalism. Indeed, Diosi has pointed out that histories required to only satisfy one of these weaker conditions always yields a mapping from quantum states to outcome probabilities that is unacceptably sensitive to purely formal adjustments (such as appending noninteracting ancilla systems). In contrast, bonafide probabilities^{f } can be assigned to sets of histories satisfying one of the later conditions. The key condition delineating this distinction is that of consistency. All the later conditions are strictly stronger than consistency, and so inherit its robustness.
For this reason, in the first four conditions we will explicitly state how probabilities are to be defined. In all remaining conditions, the probabilities are given by and, under those conditions, are necessarily real, positive, and sum to unity.
All conditions stronger than consistency are motivated at least partially to resolve the socalled setselection problem. In other words, the later conditions are built on the foundation of bonafide probabilities (and, hence, consistency), and seek to pare down the enormous space of possible sets of histories in search of ones we could actually identify with the external classical reality we perceive. Such conditions can be separated into two major categories: those based on abstract logic, and those motivated by physical principles.^{g } Most of the conditions of the later type require a preferred tensor factorization of the Hilbert space, namely the systemenvironment decomposition featured in the decoherence program or the decomposition into many subsystems featured in the quantum Darwinism program.
Consistency conditions
Below, is assumed to be fixed. The histories and are assumed to range over a set of histories that is exclusive and exhaustive, i.e. forms a partition of .
Logical conditions admitting fragile probabilities

A set of histories is linearly positive^{h } when
(1)
The probabilities are defined by .

A set of histories satisfies partial consistency^{i } when
(2)
The probabilities are defined by .

A set of histories satisfies weak consistency^{j } when
(3)
The probabilities are defined by .
Logical conditions not admitting fragile probabilities

A set of histories is consistent^{k } when
(4)

A set of histories is preclusive consistent^{l } when it is consistent and, for any history , we have
(5)
even when .

A set of histories is ordered consistent^{m } when it is consistent and, for any consistent history , we have
(6)
even when .

A set of homogeneous histories is strongly ordered consistent^{n } when it is consistent and
(7)
where the homogeneous histories are defined by .
Physical conditions

A set of histories is recorded^{o } when there exists records such that
(8)

Given a tensor factorization of the Hilbert space, a set of histories is partialtrace consistent with respect to , abbreviated consistent^{p }, when
(9)

Given a tensor factorization of the Hilbert space, a set of histories is recorded in when there exists records acting nontrivially only on such that
(10)

Given a tensor factorization of the Hilbert space, a set of histories is redundantly consistent^{q } when it is consistent for all . In other words,
(11)

Given a tensor factorization of the Hilbert space, a set of histories is redundantly recorded when it is recorded in for all . In other words, there exist record acting nontrivially only on such that
(12)
where denotes the identity on all subsystems except .
Other conditions
For completeness, we also include these two other conditions which are rarely used or discussed.

A set of histories satisfies homogeneousspecific weak consistency^{r } when, for all the homogeneous class operators and whose sum is also homogeneous, we have
(13)
The probabilities are defined by .

Let be the expansion of in terms of its eigenstates and eigenvalues . A set of histories satisfies medium strong consistency^{s } when, for each with strictly positive, there exists a set of mutually exclusive orthogonal projectors such that
(14)
If the nonzero are degenerate, then this must hold for at least one choice of expansion in terms of the .
The condition of homogeneousspecific weak consistency only made sense in the early days of the consistent histories program, when attention was generally restricted to homogenous histories.
The condition of medium strong decoherence made only one brief appearance in a paper by GellMann and Hartle. It is unappealing because (1) it is probably not robust under a more complicated purification of and (2) it becomes ungainly upon degeneracy.
Venn diagram showing the relationship between those consistency conditions with important implication for probability robustness. Only “consistency” (aka “medium decoherence”) is considered sufficient to guarantee sensible assignment. This image is just a colorized knockoff of one by Halliwell.
Discussion
The homogeneousspecific weak consistency is only of historical interest, having been superseded by weak consistency which dispenses with the restriction to homogeneous class operators. See footnote 4 on page 3353 of “Classical Equations for Quantum Systems”^{t } for more info.
The condition of partial consistency was first discussed by Diosi in an arXiv paper that was never fully published. Most of the content in that paper eventually made its way to the PRL version over a decade later, but the discussion of this condition did not appear there. It was first discussed in print, and named “partial decoherence”, by Halliwell.^{u }
Records always imply consistency and, when the state is pure (), they are equivalent. Likewise is true for records in and consistency, and for redundant records and redundant consistency. Consistency also implies medium strong consistency for pure states.
Partialtrace consistency with respect to a subsystem implies partialtrace consistency with respect to a larger subsystem that contains it, which implies consistency.
Of those conditions stronger than consistency, the strictly logical ones (preclusive consistency and ordered consistency) are designed to avoid the socalled contrary inferences possible when considering two consistent but mutually incompatible sets. Ordered consistency is a strictly stronger condition than preclusion consistency. Wallden argues that requiring preclusive consistency is more essential than ordered consistency because propositions assigned extremal probability (0 or 1) have special ontological status, and that ordered consistency may be unreasonably difficult to check computationally.
When the histories are homogeneous, strongly ordered consistency is a strictly stronger condition than ordered consistency. No one has tried to define it for sets containing inhomogeneous histories.
One may also consider weakened forms of redundant recording and redundant consistency, where the respective equation holds only for ranging over some large subset of the subsystems. For instance, it might be interesting to look at a thermodynamic limit where histories are redundantly recorded in “most” subsystems as .
[Future tasks: (1) better understand GellMann and Hartle’s twopart “strong decoherence”, and connect this to the importance of homogeneity (chains), (2) discuss the dependence of preclusive and ordered consistency to the choice of the sample space , (3) add feasibility, (4) say whether homogeneousspecific weak consistency applies only to sets which contain only homogeneous histories, and (5) discuss the relationship between Finkelstein, records, and strong decoherence as appears in “Classical equations for quantum system” ^{v }. ]
.
Footnotes
(↵ returns to text)
 GellMann and Hartle↵
 Similarly, Isham has divided various attempts at set selection principles into ones that are mathematical (i.e. maximizing some function) and physical. However, the physical principle he considers is too vague to be useful, and if taken literally (rather than as a guiding principle) would produce far too many histories for them to remain consistent for realistic times scales.↵
 GellMann and Hartle call these “generalized records” to emphasize that they need not be feasibly accessible to any observer. Indeed, they will contrast with our concept of “redundant records”, which will be much closer to the intuitive idea of a record.↵
 GellMann and Hartle↵
 The order the conditions form under the relation of logical implication is not total, i.e. they can’t all be neatly ordered from weakest to strongest because some are not comparable.↵
 In the words of Diosi, “von Neumann probabilities”.↵
 Similarly, Anastopoulos has suggested a split between precise mathematical postulates and physically inspired ones.↵
 Goldstein and Page↵
 This was named “partial decoherence” by Halliwell.↵
 This is usually called “weak decoherence” (by GellMann and Hartle) or, occasionally, just “consistency” (by Halliwell).↵
 This is most commonly called “medium decoherence” (e.g. by GellMann and Hartle). It was called “GellMannHartle (GH) decoherence” by Finkelstein when contrasting it with partialtrace (PT) decoherence. It has also been called just “decoherence” (e.g. by Halliwell) and it is equivalent to the “noninterference condition” in the context of path integrals discussed by Griffiths. We like to follow Kent and others who call it just “consistency”. This is because we no longer consider the weaker conditions of “weak consistency”, “partial consistency”, or “linear positivity” to be viable, and because we wish to reserve “decoherence” for dynamical processes.↵
 Wallden, “Contrary Inferences in Consistent Histories and a Set Selection Criterion” [arXiv:1402.3733].↵
 Kent, “Quantum Histories and Their Implications” [arXiv:grqc/9607073].↵
 This condition has never been given its own a name in the literature. GellMann and Hartle considered this condition to be part I of their (new) “strong decoherence” condition. The other half of that condition, Part II, is apparently something akin to Finkelstein’s partialtrace consistency. However, I cannot for the life of me understand the notation in the paper in which they introduce this term.↵
 This has been called “strong decoherence” by GellMann and Hartle, but in latter work they decided the condition was too strong to be useful. Years afterwards they appropriated the term “strong decoherence” for something else.↵
 This has been called “Partialtrace (PT) decoherence” by Finkelstein where the system being traced out is assumed to be some given environment. This could potentially be called “decoherence” when following the terminology of GellMann and Hartle. Also, note that GellMann and Hartle apparently considered something reminiscent of this condition to be part II of their (new) “strong decoherence” condition. However, I haven’t yet been able to understand the notation in that paper.↵
 This could potentially be called “redundant decoherence” when following the terminology of GellMann and Hartle.↵
 This condition was was never formerly named. It was featured in the work of Omnes and Griffiths.↵
 This was called “medium strong decoherence” by GellMann and Hartle.↵
 GellMann and Hartle↵
 I am unsure if partial consistency has been rule out quite as conclusively as linear positivity and weak consistency were by Diosi (it being the condition identified by Diosi in an attempt to rescue linear positivity). However, I know of no reason to think that it is at all attractive.↵
 GellMann and Hartle.↵
Pingback: Comments on GellMann & Hartle’s latest  foreXiv