Thanks, that makes sense! Could you say a little about why the weak union axiom holds? I’ve been struggling to prove that from your definitions. I was hoping that would hold, but I don’t think that satisfies the second condition in the definition of conditional history for .
FjolleJagt
Karma: 6
- FjolleJagt 28 May 2021 11:02 UTCLW: 3 AF: 1AFin reply to: Scott Garrabrant’s comment on: Finite Factored Sets
I’m confused by the definition of conditional history, because it doesn’t seem to be a generalisation of history. I would expect hF(X|∅)=hF(X), but both of the conditions in the definition of hF(X|∅) are vacuously true if E=∅. This is independent of what H is, so hF(X|∅)=∅. Am I missing something?