Set existence axioms for general (not necessarily countable) stability theory (Q580327)

H. Friedman set up the framework for several studies aimed at finding out what are precisely the set existence axioms needed for proving various theorems of ``ordinary mathematical practice''. The author [J. Symb. Logic 50, 123-137 (1985; Zbl 0612.03025)] considered similar questions for theorems in Shelah's stability theory in the case of countable languages. The aim of the paper under review is to extend this work by formulating set existence axioms in a general context that can accomodate model theory of arbitrary languages and then examining which of these axioms are needed for several theorems in stability theory.