Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Hirschfeldt, Denis Roman"'
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 arithm