| |
- Anatolii Illarionovich SHirshov: [nyekrolog] / YU.L.YErshov, L.A.Bokut', A.N.Kolmogorov, A.I.Kostrikin, YE.N.Kuz'min, V.N.Latyshyev, S.L.Sobolyev, I.P.SHyestakov // Matyematika v shkolye. - 1981. - N 3. - S.80.
- YErshov YU.L. Algyebraichyeskiye svoistva ryegulyarno zamknutykh polyei / YU.L.YErshov // Trudy Matyematichyeskogo instituta im. V.A.Styeklova. - 1981. - T.158. - S.80-86.
- YErshov YU.L. Nyerazryeshimost' ryegulyarno zamknutykh polyei / YU.L.YErshov // Algyebra i logika. - 1981. - T.20, N 4. - S.389-394.
- YErshov YU.L. Ob ehlyemyentarnykh tyeoriyakh ryegulyarno zamknutykh polyei / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1981. - T.257, N 2. - S.271-274.
- YErshov YU.L. EHliminiruyemost' kvantorov v ryegulyarno zamknutykh polyakh / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1981. - T.258, N 1. - S.16-20.
- Pamyati Anatoliya Illarionovicha SHirshova (nyekrolog) / L.A.Bokut', YU.L.YErshov, A.N.Kolmogorov, A.I.Kostrikin, YE.N.Kuz'min, V.N.Latyshyev, S.L.Sobolyev, I.P.SHyestakov // Uspyekhi matyematichyeskikh nauk. - 1981. - T.36, N 5. - S.153-158.
- Ershov Yu.L. Eliminability of quantifiers in regularly closed fields / Yu.L.Ershov // Soviet Mathematics Doklady. - 1981. - Vol.23. - P.463-467.
- Ershov Yu.L. How does algebra help to solve problems from the theory of algorithms (an example) / Yu.L.Ershov // Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979. - Berlin; New York: Springer-Verlag, 1981. - Vol.122. - P.462-463.
- Ershov Yu.L. On elementary theories of regularly closed fields / Yu.L.Ershov // Soviet Mathematics Doklady. - 1981. - Vol.23. - P.259-262.
- Ershov Yu.L. Profinite groups / Yu.L.Ershov // Algebra Logika. - 1981. - Vol.19, N 5. - P.357-366.
- Ershov Yu.L. Undecidability of regularly closed fields / Yu.L.Ershov // Algebra Logika. - 1981. - Vol.20, N 4. - P.257-260.
- In memory of Anatolií Illarionovich Shirshov / L.A.Bokut', Yu.L.Ershov, A.N.Kolmogorov, A.I.Kostrikin, E.N.Kuz'min, V.N.Latyshev, S.L.Sobolev, I.P.Shestakov // Russian Mathematical Surveys. - 1981. - Vol.36, N 5. - P.129-133.
- YErshov YU.L. Absolyutnaya nyeprivodimost' i svoistva gyenzyelizatsii / YU.L.YErshov // Algyebra i logika. - 1982. - T.21, N 5. - S.530-536.
- YErshov YU.L. Algoritmichyeskiye problyemy v tyeorii polyei (polozhityel'nyye aspyekty) / YU.L.YErshov // Spravochnaya kniga po matyematichyeskoi logikye. - M., 1982. - CH.3: Tyeoriya ryekursii. - S.269-353.
- YErshov YU.L. Vpolnye vyescyestvyennyye rasshiryeniya polyei / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1982. - T.263, N 5. - S.1047-1049.
- YErshov YU.L. Gyenzyelyevy normirovaniya tyel i gruppa SK1 / YU.L.YErshov // Matyematichyeskii sbornik. - 1982. - T.117, N 1. - S.60-68.
- YErshov YU.L. Dvye tyeoryemy o ryegulyarno r-zamknutykh polyakh: pryeprint / YU.L.YErshov. - Novosibirsk, 1982. - 29 s.
- YErshov YU.L. Kratno normirovannyye polya / YU.L.YErshov // Uspyekhi matyematichyeskikh nauk. - 1982. - T.37, N 3. - S.55-93.
- YErshov YU.L. Normirovaniya tyel / YU.L.YErshov // V Vsyesoyuznyi simpozium po tyeorii kolyets, algyebr i modulyei: tyezisy dokladov. - Novosibirsk, 1982. - S.53-55.
- YErshov YU.L. Ryegulyarno r-zamknutyye polya / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1982. - T.266, N 3. - S.538-540.
- YErshov YU.L. Sibir' pod intyegralom / YU.L.YErshov // Sovyetskaya Rossiya. - 1982. - 18 maya.
- Sobolyev S.L. Matyematichyeskaya logika i tyeoriya algoritmov / S.L.Sobolyev, A.A.Borovkov, YU.L.YErshov. - Novosibirsk, 1982. - 179 s.
- Ershov Yu.L. Henselian valuations of division rings and the group SK1 / Yu.L.Ershov // Mathematics of the USSR-Sbornik. - 1982. - Vol.45. - P.63-71.
- Ershov Yu.L. Multiply valued fields / Yu.L.Ershov // Russian Mathematical Surveys. - 1982. - Vol.37, N 3. - P.63-107.
- Ershov Yu.L. Regularly r-closed fields / Yu.L.Ershov // Soviet Mathematics Doklady. - 1982. - Vol.26. - P.363-366.
- Ershov Yu.L. Totally real field extensions / Yu.L.Ershov // Soviet Mathematics Doklady. - 1982. - Vol.25. - P.477-480.
- YErshov YU.L. ω-polnyye A-prostranstva / YU.L.YErshov // Kibyernyetika. - 1982. - N 6. - S.6-10.
- Spravochnaya kniga po matyematichyeskoi logikye: v 4 ch. CH.1. Tyeoriya modyelyei / pod ryed. Dzh. Barvaisa, KH.Dzh.Kyeislyera, P.EHklofryeda; pyer. s angl.: S.S.Goncharov, V.D.Dzgoyev, K.F.Samokhvalov, D.I.Sviridyenko; ryed.: YU.L.YErshov, YE.A.Palyutin, A.D.Taimanov. - M.: Nauka, 1982. - 392 s.
- Spravochnaya kniga po matyematichyeskoi logikye: v 4 ch. CH.3. Tyeoriya ryekursii / ryed.: Dzh. Barvais; pyer. s angl.: S.G.Dvornikova, I.A.Lavrova; ryed. YU.L.YErshov. - M.: Nauka, 1982. - 360 s.
- YErshov YU.L. V gostyakh u shkol'nikov FMSH / YU.L.YErshov // Nauka v Sibiri. - 1983. - 24 marta.
- YErshov YU.L. Dinamichyeskaya logika nad dopustimymi mnozhyestvami / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1983. - T.273, N 5. - S.1045-1048.
- YErshov YU.L. Involyutornyye gruppy / YU.L.YErshov // Algyebra i logika. - 1983. - T.22, N 3. - S.260-275.
- YErshov YU.L. Printsip ∑-pyeryechislyeniya / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1983. - T.270, N 4. - S.786-788.
- YErshov YU.L. Ryegulyarno r-zamknutyye polya / YU.L.YErshov // Algyebra i logika. - 1983. - T.22, N 4. - S.382-402.
- Ershov Yu.L. ω-Complete A-spaces / Yu.L.Ershov // Cybernetics. - 1983. - Vol.18, N 6. - P.701-705.
- Ershov Yu.L. Absolute irreducibility and properties of henselizations / Yu.L.Ershov // Algebra Logika. - 1983. - Vol.21. - P.353-357.
- Ershov Yu.L. Algebraic properties of regularly closed fields / Yu.L.Ershov // Proceedings of the Steklov Institute of Mathematics. - 1983. - Vol.158. - P.85-91.
- Ershov Yu.L. Dynamic logic over admissible sets / Yu.L.Ershov // Soviet Mathematics Doklady. - 1983. - Vol.28. - P.739-742.
- Ershov Yu.L. Involutory groups / Yu.L.Ershov // Algebra Logika. - 1983. - Vol.22, N 3. - P.185-196.
- Ershov Yu.L. Regularly r-closed fields / Yu.L.Ershov // Algebra Logika. - 1983. - Vol.22, N 4. - P.277-291.
- Ershov Yu.L. The principle of ∑-enumeration / Yu.L.Ershov // Soviet Mathematics Doklady. - 1983. - Vol.27. - P.670-672.
- YErshov YU.L. Logika, osnovaniya matyematiki i lingvistiki / YU.L.YErshov, I.A.Lavrov, R.Pavilyenis, V.V.Pyetrovym // Voprosy filosofii. - 1984. - N 1. - S.45-58.
- YErshov YU.L. O gruppakh Galua maksimal'nykh 2-rasshiryenii / YU.L.YErshov // Matyematichyeskiye zamyetki. - 1984. - T.36, vyp.6. - S.913-923.
- YErshov YU.L. O novom podkhodye k filosofii matyematiki / YU.L.YErshov, K.F.Samokhvalov // Vychislityel'nyye sistyemy. - 1984. - Vyp. 101. - S.141-148.
- YErshov YU.L. Ryegulyarno r-zamknutyye polya so slabounivyersal'nymi gruppami Galua / YU.L.YErshov // Algyebra i logika. - 1984. - T.23, N 6. - S.637-669.
- YErshov YU.L. Sil'naya nyeotdyelimost' i k-naslyedstvyennost' / YU.L.YErshov // Doklady Bolgarskoi Akadyemii nauk. - 1984. - T.37, N 9. - S.1139-1142.
- Ershov Yu.L. Galois groups of maximal 2-extensions / Yu.L.Ershov // Mathematical notes. - 1984. - Vol.36, N 6. - P.956-961.
- Ershov Yu.L. Mathematical Logic / Yu.L.Ershov. - Moscow: Mir, 1984. - 303 p.
- Ershov Yu.L. Regularly r-closed fields with weakly universal Galois groups / Yu.L.Ershov // Algebra Logika. - 1984. - Vol.23, N 6. - P.426-449.
- Ershov Yu.L. Two theorems on regularly r-closed fields / Yu.L.Ershov // Journal für die Reine und Angewandte Mathematik. - 1984. - Bd.347. - S.154-166.
- YErshov YU.L. ∑-opryedyelimost' v dopustimykh mnozhyestvakh / YU.L.YErshov // Doklady Akadyemii nauk SSSR. - 1985. - T.285, N 4. - S.792-795.
- YErshov YU.L. ∑-pryedikaty konyechnykh tipov nad dopustimym mnozhyestvom / YU.L.YErshov // Algyebra i logika. - 1985. - T.24, N 5. - S.499-536.
- YErshov YU.L. Ryealizuyemyye r-gruppy / YU.L.YErshov // Nyekotoryye problyemy i zadachi analiza i algyebry. - Novosibirsk, 1985. - S.46-60.
- YErshov YU.L. Rol' fundamyental'nykh znanii / YU.L.YErshov // Nauka i zhizn'. - 1985. - N 12. - S.4.
- YErshov YU.L. EHlyemyentarnaya tyeoriya / YU.L.YErshov, M.A.Taitslin // Matyematichyeskaya ehntsiklopyediya. - M., 1985. - T.5. - S.972-973.
- Ershov Yu.L. ∑-definability in admissible sets / Yu.L.Ershov // Soviet Mathematics Doklady. - 1985. - Vol.32. - P.767-770.
- Ershov Yu.L. ∑-predicates of finite types over an admissible set / Yu.L.Ershov // Algebra Logika. - 1985. - Vol.24, N 5. - P.327-351.
- YErshov YU.L. ∑-dopustimyye mnozhyestva / YU.L.YErshov // Vychislityel'nyye sistyemy. - 1986. - Vyp. 114. - S.35-39.
- YErshov YU.L. Zapovyed' studyenta - uvlyechyennost' naukoi / YU.L.YErshov // Nauka v Sibiri. - 1986. - 2 marta.
- YErshov YU.L. Ob ƒA-prostranstvakh / YU.L.YErshov // Algyebra i logika. - 1986. - T.25, N 5. - S.533-543.
- YErshov YU.L. Ob otobrazhyenii ogranichyeniya prostranstv poryadkov polyei / YU.L.YErshov // Sibirskii matyematichyeskii zhurnal. - 1986. - T.27, N 2. - S.47-54.
- YErshov YU.L. YAzyk ∑-vyrazhyenii / YU.L.YErshov // Vychislityel'nyye sistyemy. - 1986. - Vyp.114. - S.3-10.
- Ershov Yu.L. ƒA-Spaces / Yu.L.Ershov // Algebra Logika. - 1986. - Vol.25, N 5. - P.336-343.
- Ershov Yu.L. Mapping a restriction of spaces of orderings of fields / Yu.L.Ershov // Siberian Mathematical Journal. - 1986. - Vol.27, N 2. - P.181-187.
- Ershov Yu.L. Semantic programming / Yu.L.Ershov, S.S.Goncharov // Information processing 86: proceedings of the IFIP World Computer Congress, Dublin, Ireland, September 1-5, 1986. - Amsterdam; New York: Elsevier Science Pub. Co, 1986. - P.1113-1120.
- Ershov Yu.L. Semantic programming / Yu.L.Ershov, S.S.Goncharov, D.I.Sviridenko // Seminarberichte Sekt. Mathematik. - Berlin, 1986. - N 86. - S.35-55.
- Logika i sistyemnyye myetody analiza nauchnogo znaniya: tyezicy dokladov IX Vsyesoyuznogo sovyescaniya po logikye, myetodologii i filosofii nauki, KHar'kov, 8-10 oktyabrya, 1986 / nauch. ryed. YU.L.YErshov. - M.: [b. i.], 1986. - 301 s.
- Logichyeskaya tyetrad': nyeryeshyennyye voprosy matyematichyeskoi logiki (opyerativnyi informatsionnyi matyerial) / ryed.: YU.L.YErshov, S.S.Goncharov. - Novosibirsk: In-t matyematiki SO AN SSSR, 1986. - 41 s.
- Prikladnaya logika: sbornik nauchnykh trudov / nauch. ryed. YU.L.YErshov. - Novosibirsk: [b. i.], 1986. - 165 s. - (Vychislityel'nyye sistyemy; 116).
- Goncharov S.S. Myetodologichyeskiye aspyekty syemantichyeskogo programmirovaniya / S.S.Goncharov, YU.L.YErshov, D.I.Sviridyenko // Nauchnoye znaniye: logika, ponyatiya, struktura. - Novosibirsk, 1987. - S.154-184.
- YErshov YU.L. Matyematichyeskaya logika: uchyebnoye posobiye / YU.L.YErshov, YE.A.Palyutin. - M.: Nauka, 1987. - 336 c.
- YErshov YU.L. Mnozhyestvo kandidatov yescye nye isklyuchayet formalizma: [o vyborakh] / YU.L.YErshov // Nauka v Sibiri. - 1987. - 18 iyunya.
- YErshov YU.L. O novom podkhodye k myetodologii matyematiki / YU.L.YErshov, K.F.Samokhvalov // Zakonomyernosti razvitiya sovryemyennoi matyematiki: myetodologichyeskiye aspyekty. - M.: Nauka, 1987. - S.85-105.
- YErshov YU.L. O porozhdayemosti dopustimykh mnozhyestv / YU.L.YErshov // Algyebra i logika. - 1987. - T.26, N 5. - S.577-597.
- YErshov YU.L. Uskoryeniye i nauka v Sibiri: byesyeda za kruglym stolom / YU.L.YErshov // Kommunist. - 1987. - N 17. - S.65-66.
- Ershov Yu.L. Generatability of admissible sets / Yu.L.Ershov // Algebra Logika. - 1987. - Vol.26, N 5. - P.346-361.
- Ershov Yu.L. Semantic foundations of programming / Yu.L.Ershov, S.S.Goncharov, D.I.Sviridenko // Fundamentals of Computation Theory: fundamentals of computation theory: proceedings of International Conference FCT'87, Kazan, USSR, June 22-26, 1987. - Berlin ; New York: Springer-Verlag, 1987. - S.116-122.
- YErshov YU.L. Abyelyeva gruppa / YU.L.YErshov // Matyematichyeskii ehntsiklopyedichyeskii slovar'. - M., 1988. - S.39-40.
- YErshov YU.L. YEstyestvyennyi parallyelizm syemantichyeskikh programm / YU.L.YErshov, S.S.Goncharov, D.I.Sviridyenko // Formal'nyye modyeli parallyel'nykh vychislyenii. - Novosibirsk, 1988. - S.6-19.
- YErshov YU.L. Invariantnaya porozhdayemost' / YU.L.YErshov // Sibirskii matyematichyeskii zhurnal. - 1988. - T.29, N 5. - S.109-111.
- YErshov YU.L. Kogyenzyelyevy rasshiryeniya i gyenzyelizatsiya / YU.L.YErshov // Algyebra i logika. - 1988. - T.27, N 6. - S.649-658.
- YErshov YU.L. Nashi univyersityety: kruglyi stol / YU.L.YErshov // Lityeraturnaya gazyeta. - 1988. - 23 marta.
- Syergyei Nikolayevich CHyernikov: (nyekrolog) / YU.L.YErshov, D.I.Zaitsyev, A.I.Kostrikin, N.N.Krasovskii, YU.A.Mitropol'skii, V.P.Platonov, D.K.Faddyeyev, L.A.SHyemyetkov // Uspyekhi matyematichyeskikh nauk. - 1988. - T.43, N 2. - S.125-126
- YErshov YU.L. EHnyergichnyeye idti navstryechu drug drugu: [ob obmyenye studyentami] / YU.L.YErshov // Sotsialistichyeskaya industriya. - 1988. - 31 maya.
- Ershov Yu.L. Co-Henselian extensions and Henselizations of skew fields / Yu.L.Ershov // Algebra Logika. - 1988. - Vol.27, N 6. - P.401-407.
- Ershov Yu.L. Invariant generation / Yu.L.Ershov // Siberian Mathematical Journal. - 1988. - Vol.29, N 5. - P.775-777.
- Sergei Nikolaevich Chernikov: obituary / Yu.L.Ershov, D.I.Zaitsev, A.I.Kostrikin, N.N.Krasovskii, Yu.A.Mitropol'skii, V.P.Platonov, D.K.Faddeev, L.A.Shemetkov // Russian Mathematical Surveys. - 1988. - T.43, N 2. - P.153-155.
- Tyeoriya modyelyei i yeye primyenyeniya: sbornik nauchnykh trudov / YU.L.YErshov. - Novosibirsk: Nauka, Sibirskoye otd-niye, 1988. - 181 s. - (Trudy Instituta matyematiki SO AN SSSR; t.8)
- YAzyki spyetsifikatsii i logichyeskoye programmirovaniye / YU.G.Kosaryev, YU.L.YErshov, S.S.Goncharov. - Novosibirsk: [b. i.], 1988. - 147 s. - (Vychislityel'nyye sistyemy; 124)
|
|
|
