Nuprl Definition : hered-term
hered-term(opr;t.P[t]) == {t:term(opr)| hereditarily(opr;s.P[s];t)}
Definitions occuring in Statement :
hereditarily: hereditarily(opr;s.P[s];t),
term: term(opr),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
term: term(opr),
hereditarily: hereditarily(opr;s.P[s];t)
FDL editor aliases :
hered-term
Latex:
hered-term(opr;t.P[t]) == \{t:term(opr)| hereditarily(opr;s.P[s];t)\}
Date html generated:
2020_05_19-PM-09_54_38
Last ObjectModification:
2020_03_10-AM-11_23_56
Theory : terms
Home
Index