Wikipedia refers to the Diophantine equation $ x^2 + D = AB^n $ as an "equation of Ramanujan–Nagell type". It also says that "A result of Siegel implies that the number of solutions in each case is finite." My question is: What result of Siegel might this be referring to?
(Later in the text it has a similar statement about $x^2+D=Ay^n$, this time citing "results of Shorey and Tijdeman". I'm also curious about this, but mostly I want to know the Siegel result.)
Extended footnote: The reference provided (for both) unfortunately, presents difficulties. It is
Saradha, N.; Srinivasan, Anitha (2008). "Generalized Lebesgue–Ramanujan–Nagell equations". In Saradha, N. (ed.). Diophantine Equations. Narosa. pp. 207–223. ISBN 978-81-7319-898-4.
Sluething around, I found that this text is the proceedings for a conference held at the Tata Institute in 2005, presumably this one. No talk with the given name appears in the abstracts, but Anitha Srinivasan was a speaker (talk title: "On the equation $x^2+dy^2=bk^n$", which seems close enough). In any case, the fact that it is a conference proceeding does not give me much confidence that the citation will be adequate. But even if I did want to check, I don't know how to get my hands on the book without paying third parties. In fact, there does not even seem to be a way to buy the text from the publisher, whose website is now defunct.