To qualify for Nitto ATP finals, a player must be in the top 8 for accumulated points that year (there’s an edge case when there’s a grand slam champion outside of the top 8, see the Wikipedia article for a full description). Qualifying as an alternate (being #9 or #10) doesn't count for the resolution of this market. This market is unlinked multichoice; up to 8 options could be selected. If your favorite player isn't listed here, feel free to add them in.
I may bet on this market.
Check out my other tennis markets: https://manifold.markets/news/atp-tennis-markets
Djokovic has withdrawn, the field is now set:
https://x.com/atptour/status/1853763220567163212
How will Djokovic and Rublev resolve now?
Oh, I didn’t know it worked like that. Though it’s not likely for a grand slam champion to be outside of the top 8. I’ll add a link to a more detailed description of the qualification process. Thanks for pointing this out.