Nuprl Definition : RankEx4
RankEx4() == {p:RankEx4co()| (RankEx4co_size(p))↓}
Definitions occuring in Statement :
RankEx4co_size: RankEx4co_size(p),
RankEx4co: RankEx4co(),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
RankEx4
Latex:
RankEx4() == \{p:RankEx4co()| (RankEx4co\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_16-AM-09_03_41
Last ObjectModification:
2014_05_06-AM-11_45_42
Theory : C-semantics
Home
Index