Zulip Chat Archive

Stream: Is there code for X?

Topic: Initial segment

Yaël Dillies (Dec 02 2021 at 18:32):

Do we have anything about initial segments (sets which can be written as Iic b for some b but with an arbitrary relation)? They come up in Kruskal-Katona and Solymosi, so I'm considering making them a separate definition.

Yury G. Kudryashov (Dec 04 2021 at 08:31):

Probably, we have some theory in set_theory.ordinal.

Violeta Hernández (Jul 14 2022 at 16:15):

I should probably link #15328 here too

Last updated: Dec 20 2023 at 11:08 UTC