Nuprl Definition : secret-table

secret-table(T) ==  K:ℕ × ℕ × (ℕK ⟶ (Atom1 × ℕ Atom1 × data(T)))



Definitions occuring in Statement :  data: data(T) int_seg: {i..j-} nat: atom: Atom$n function: x:A ⟶ B[x] product: x:A × B[x] union: left right natural_number: $n
FDL editor aliases :  secret-table secret-table

Latex:
secret-table(T)  ==    K:\mBbbN{}  \mtimes{}  \mBbbN{}  \mtimes{}  (\mBbbN{}K  {}\mrightarrow{}  (Atom1  \mtimes{}  \mBbbN{}  +  Atom1  \mtimes{}  data(T)))



Date html generated: 2016_05_16-AM-09_59_28
Last ObjectModification: 2013_03_25-PM-01_52_58

Theory : new!event-ordering


Home Index