A'-Knaco Moaejiefc cHTHaxypH 6 . P a c m H p e H H o ft T e o p si e K (B oxjnume OT sseiieHxapHOft TeopHH ) loiacca K aa30B6M MHOxecTBO Bcex npeflsoseHMfl HcqHcneHHH Biopott CTyneHM, B KOxopux B Kaiecise KoacTanTHtix npeanKaioB BCTpeqanxoH TOJIBKO npejHKam MS 6" , a RBaHiopu (?£, ?Z) , a cjieaoBaiejiBHO, M paapacmHpeHHoa TeopHH MHoaeciBa, ynopjmoieHHoro no TMny", n=i,2,... , TO yse Heipyano aoKasaiB TEOPEUJ. A J I H a B (5 o r o B n o B H e y n o p H j oq e H H o r o M H o s e c i B a T » n a < co" e r o p a c OHpeHHan Te op n H p a a p e H H M a . OCTODTCH OTKpuTuioi ecTecTBeHHO BosHHKaioiuHe sonpocu: 1. He ciy^eT JIH paspemHwa pacimipeHHaH TCOPHH jnodoro snojine ynopHaoqeHHoro uHowecTBa, KJiacca scex snojiae ynoptmoyeHHUx MHO XCCTB ?
2. He dyaei «M paspemnua pacranpeHHaH Teopan Knacca scex JIHHe»HO ynopHsoieHHHX UHOiecTB ? nocTynraa B peaaKmin I4.D. 1964 r.
JlHTepaiypa 1. Peferman S,
Vaught R. The first order properties of algebraic systems , Fund. Math. ,47(1953) , 57-105.
2. Buohi I.E.
On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, proceedings of the 1960 International CongresB, Stanford University Press, Stanford, California, (1962), 1-11.