Nuprl Definition : lg-acyclic
lg-acyclic(g) == ∀a:ℕlg-size(g). (¬lg-connected(g;a;a))
Definitions occuring in Statement :
lg-connected: lg-connected(g;a;b),
lg-size: lg-size(g),
int_seg: {i..j-},
all: ∀x:A. B[x],
not: ¬A,
natural_number: $n
FDL editor aliases :
lg-acyclic
Latex:
lg-acyclic(g) == \mforall{}a:\mBbbN{}lg-size(g). (\mneg{}lg-connected(g;a;a))
Date html generated:
2015_07_22-PM-00_29_11
Last ObjectModification:
2012_02_25-PM-03_35_04
Home
Index