Nuprl Definition : RankEx2
RankEx2(S;T) ==  {p:RankEx2co(S;T)| (RankEx2co_size(p))↓} 
Definitions occuring in Statement : 
RankEx2co_size: RankEx2co_size(p)
, 
RankEx2co: RankEx2co(S;T)
, 
has-value: (a)↓
, 
set: {x:A| B[x]} 
FDL editor aliases : 
RankEx2
Latex:
RankEx2(S;T)  ==    \{p:RankEx2co(S;T)|  (RankEx2co\_size(p))\mdownarrow{}\} 
Date html generated:
2016_05_16-AM-08_59_23
Last ObjectModification:
2014_05_06-PM-01_41_46
Theory : C-semantics
Home
Index