Nuprl Definition : ses-is-protocol-actions
pas(thr) == (||thr|| = ||pas|| ∈ ℤ) ∧ (∀i:ℕ||pas||. pas[i](thr[i]))
Definitions occuring in Statement :
ses-is-protocol-action: pa(e),
select: L[n],
length: ||as||,
int_seg: {i..j-},
all: ∀x:A. B[x],
and: P ∧ Q,
natural_number: $n,
int: ℤ,
equal: s = t ∈ T
FDL editor aliases :
is-p-acts
Latex:
pas(thr) == (||thr|| = ||pas||) \mwedge{} (\mforall{}i:\mBbbN{}||pas||. pas[i](thr[i]))
Date html generated:
2015_07_23-PM-00_15_16
Last ObjectModification:
2012_08_30-PM-04_31_28
Home
Index