*Maybe the thought was that you could redistribute CONNECTED to EIGRP,
then EIGRP to OSPF, and the CONNECTED routes would end up in OSPF, but
that doesn't appear to be the case, at least not for me and the IOS
versions I'm using.*
This is how redistribution works. if you redistribute protocol A into porotcol B, then Protocol B into Protocol C, the A routes redistributed into B will not be advertised by C.
When you redistribute, the router logic is a two step process:
1: Grab all (protocol type being redistributed) routes in the routing table. ex. RIP>OSPF show ip route rip - those routes will go to OSPF
AND
2. Grab the subnets of the interfaces that the routing protocol being redistributed is running on.
Point 2 can (and will) break if you redistribute connected with a route map that omits the interfaces that the protocol is running on.
I know its confusing and maybe I'm not stating it with the easiest verbage, but there is a great video about this in the class on demand product the IE sells.