| http://www.w3.org/ns/prov#value | - Is H an elementary extension of G?> > > > Assuming that the generators for G are a subset of the generators> > for H, so that H _is_ an extension of G:> > > > I have seen it said> > > > http://en.wikipedia.org/wiki/Free_group#Universal_property> > > > that any two free groups have the same first-order theory...Either it is trivially true that whenever G is a subgroup of H, H is an elementary extensio
|
