Skip to main content
4 events
when toggle format what by license comment
Oct 29 at 19:24 comment added Peter Gerdes In $\omega^{< \omega}$ the result won't be fully pruned (tho when I first published the Tex wasn't rendering). We don't have compactness. But maybe $n$- pruning isn't bad.
Oct 29 at 19:20 history edited Peter Gerdes CC BY-SA 4.0
missing dollar sigm
Oct 29 at 19:04 comment added Alessandro Codenotti Since this produces a pruned tree I guess it should be called pruning
Oct 29 at 18:37 history asked Peter Gerdes CC BY-SA 4.0