Nuprl Definition : ma-tstate
timedState(ds) ==  x:Id ⟶ ℚ ⟶ ds(x)?Top
Definitions occuring in Statement : 
fpf-cap: f(x)?z
, 
id-deq: IdDeq
, 
Id: Id
, 
top: Top
, 
function: x:A ⟶ B[x]
, 
rationals: ℚ
FDL editor aliases : 
ma-tstate
Latex:
timedState(ds)  ==    x:Id  {}\mrightarrow{}  \mBbbQ{}  {}\mrightarrow{}  ds(x)?Top
Date html generated:
2016_05_16-AM-11_38_27
Last ObjectModification:
2012_02_25-AM-11_14_59
Theory : event-ordering
Home
Index