Nuprl Definition : InitialSystem
InitialSystem(P.M[P]) == {S:System(P.M[P])| std-initial(S)}
Definitions occuring in Statement :
std-initial: std-initial(S),
System: System(P.M[P]),
set: {x:A| B[x]}
FDL editor aliases :
InitialSystem
Latex:
InitialSystem(P.M[P]) == \{S:System(P.M[P])| std-initial(S)\}
Date html generated:
2015_07_23-AM-11_16_09
Last ObjectModification:
2012_02_25-PM-03_44_24
Home
Index