無矛盾歴史
無矛盾歴史のアプローチの重要な構成は、同質歴史に対するクラス作用素である。
C ^ H i := T ∏ j = 1 n i P ^ i , j ( t i , j ) = P ^ i , 1 P ^ i , 2 ⋯ P ^ i , n i {\displaystyle {\hat {C}}_{H_{i}}:=T\prod _{j=1}^{n_{i}}{\hat {P}}_{i,j}(t_{i,j})={\hat {P}}_{i,1}{\hat {P}}_{i,2}\cdots {\hat {P}}_{i,n_{i}}}
記号 T {\displaystyle T} は積の因数が t i , j {\displaystyle t_{i,j}} の値に従って時系列に並べられていることを示す。 t {\displaystyle t} の値が小さい「過去」の演算子は右側に表示され、 t {\displaystyle t} の値が大きい「未来」の演算子は左側に表示される。この定義は、非同質歴史にも拡張できる。
無矛盾歴史の中心は無矛盾性の概念である。