Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore.
Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some homogeneous model of T. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theor...
Full description
Saved in: