Nuprl Definition : ses-is-fresh

ses-is-fresh(f;A;pas) == isl(TERMOF{decidable-ses-fresh-sequence:o, 1:l} f A pas)

Definitions occuring in Statement : isl: isl(x), apply: f a
FDL editor aliases : ses-is-fresh

Latex:
ses-is-fresh(f;A;pas) == isl(TERMOF\{decidable-ses-fresh-sequence:o, 1:l\} f A pas) Date html generated: 2015_07_23-PM-00_14_46 Last ObjectModification: 2012_08_30-PM-04_30_51 Home Index