Logic Colloquium '96

Autor: G. E. Mints, D. Lascar, Jesús M. Larrazabal

Publikováno v: Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1c0cece182ae4d49678abb7f38931807
https://doi.org/10.1017/9781316716816

A method of epsilon substitution for the predicate logic with equality

Autor: G. E. Mints

Publikováno v: Journal of Mathematical Sciences. 87:3234-3252

The method of epsilon substitution was defined for arithmetic with interpretation of αxA(x) as the least x satisfying A(x). It proceeds by a series of finite approximations “from below” to a solution of a fixed system of critical formulas. For t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b7b119f771ad560cedc7586f1aaf3fc2
https://doi.org/10.1007/bf02358997

C

Autor: A. I. Shtern, B. A. Efimov, S. Yu. Maslov, V. A. Dushskiĭ, P. I. Lizorkin, Yu. A. Bakhturin, I. Kh. Sabitov, A. N. Parshin, A. V. Prokhorov, I. O. Sarmanov, E. D. Solomentsev, V. V. Fedorchuk, V. V. Afanas’ev, E. G. Goluzina, G. V. Kuz’mina, V. V. Sazonov, I. V. Proskuryakov, A. V. Arkhangel’skiĭ, B. V. Khvedelidze, B. I. Golubov, S. A. Telyakovskiĭ, V. A. Chuyanov, V. E. Plisko, P. S. Modenov, A. B. Ivanov, A. S. Fedenko, V. L. Popov, E. M. Chirka, D. P. Zhelobenko, N. N. Vil’yams, A. V. Chernavskiĭ, O. A. Ivanova, G. A. Meshcheryakov, V. I. Pashkovskiĭ, D. D. Sokolov, E. A. Palyutin, M. Sh. Tsalenko, D. V. Anosov, V. A. Skvortsov, V. A. Eleev, L. D. Kudryavtsev, A. M. Nakhushev, V. M. Millionshchikov, A. P. Soldatov, V. V. Pospelov, E. V. Shikin, E. N. Kuz’min, D. B. Anosov, N. K. Nikol’skiĭ, E. G. Sklyarenko, D. O. Baladze, S. N. Malygin, L. A. Skornyakov, Yu. V. Prokhorov, A. L. Onishchik, L. A. Bokut’, A. F. Andreev, K. S. Sibirskiĭ, T. S. Fofanova, L. A. Sidorov, I. I. Volkov, A. F. Kharshiladze, R. L. Dobrushin, V. V. Prelov, S. S. Gaĭsaryan, A. D. Myshkis, I. A. Kvasnikov, D. A. Leĭtes, B. P. Tanana, L. N. Shevrin, Yu. V. Komlenko, N. N. Vakhania, A. A. Konyushkov, T. S. Pigolkina, P. K. Suetin, D. V. Alekseevskiĭ, Yu. N. Subbotin, N. Kh. Rozov, S. A. Stepanov, V. I. Bityutskov, V. I. Lebedev, I. P. Mysovskikh, L. P. Vlasov, A. F. Lavrik, V. V. Rumyantsev, A. D. Bryuno, M. S. Nikulin, L. V. Kuz’min, V. A. Zalgaller, Val. S. Kulikov, N. P. Korneĭchuk, V. P. Motornyĭ, Yu. D. Maksimov, A. G. Dragalin, S. I. Adyan, A. A. Karatsuba, I. P. Mityuk, A. A. Borisenko, G. A. Chebotarev, V. N. Sachkov, I. B. Vapnyarskiĭ, I. V. Dolgachev, V. A. Iskovskikh, V. I. Sobolev, V. I. Ponomarev, A. A. Mal’tsev, V. I. Danilov, A. F. Shapkin, V. V. Ryzhkov, V. I. Gavrilov, V. E. Govorov, A. A. Kirillov, A. S. Mikhaĭlova, N. N. Vorob’ev, G. K. Stolyarov, Yu. B. Rudyak, M. Sh. Farber, G. A. Kabatyanskiĭ, Al. A. Markov, V. I. Levenshteĭn, T. S. Lel’chuk, A. I. Yanushauskas, V. N. Remeslennikov, B. M. Bredikhin, D. A. Ponomarev, A. V. Mikhalev, A. Ya. Khelemskiĭ, G. M. Vaĭnikko, P. S. Soltan, A. M. Revyahn, S. P. Novikov, L. V. Shabunin, R. A. Minios, E. A. Gorin, D. M. Smirnov, S. I. Sirota, B. A. Pasynkov, Yu. A. Kaz’min, E. L. Tonkov, S. G. Tankeev, V. M. Millonshchikov, A. P. Terekhin, N. G. Ushakov, Kh. D. Ikramov, M. I. Kadets, A. V. Arkhangelskn, L. E. Reĭzin, Yu. I. Merzlyakov, P. S. Aleksandrov, V. N. Grishin, G. D. Kim, M. I. Voĭtsekhovskiĭ, V. S. Malakhovskiĭ, N. N. Kuzyurin, G. Rozenberg, A. Salomaa, L. D. Kudravtsev, I. A. Lavrov, A. D. Taĭmanov, N. M. Nagornyĭ, B. A. Kushner, N. N. Yanenko, A. N. Tikhonov, V. A. Nepomnyashchiĭ, B. A. Rogozin, V. G. Ushakov, B. Z. Vulikh, Yu. V. Linnik, N. M. Khalfina, S. A. Aĭvazyan, E. A. Chistova, Ü. Lumiste, G. V. Bushmanova, V. T. Bazylev, E. P. Dolzhenko, P. M. Tamrazov, V. S. Malakhovskĭ, V. P. Platonov, T. P. Lukashenko, V. M. Tikhomirov, S. K. Sobolev, V. I. Malykhin, M. K. Polivanov, G. E. Mints, V. D. Kupradze, I. V. Fryazinov, N. A. Karpova, A. F. Filippov, L. D. Ivanov, I. A. Shishmarev, D. F. Davidenko, V. I. Nechaev, A. V. Efimov, V. S. Vladimirov, L. G. Zambakhidze, N. V. Reveryuk, I. S. Iokhvidov, A. K. Tolpygo, S. G. Kreĭn, S. V. Yablonskiĭ, N. V. Krylov, A. N. Shiryaev, A. A. Yushkevich, R. A. Minlos, I. A. Aleksandrov, G. N. Dyubin, V. G. Karmanov, Yu. D. Burago, A. I. Kokorin, V. M. Kopytov, A. V. Pogorelov, Yu. A. Brychkov, A. P. Prudnikov, A. I. Sobolev, F. P. Vasil’ev

Publikováno v: Encyclopaedia of Mathematics ISBN: 9780792329732

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8522fd2077efe23341800b1a74949427
https://doi.org/10.1007/978-1-4899-3797-1_3

D

Autor: A. G. El’kin, M. G. M. van Doorn, A. K. Gushchin, L. D. Kudryavtsev, V. V. Rumyantsev, V. I. Sobolev, B. A. Efimov, N. Kh. Rozov, V. T. Bazylev, I. A. Kvasnikov, B. I. Golubov, A. A. Konyushkov, L. N. Eshukov, P. P. Korovkin, A. V. Efimov, A. A. Zakharov, S. M. Vorazhin, Yu. N. Subbotin, A. L. Onishchik, D. P. Kostomarov, N. M. Nagornyĭ, V. E. Plisko, N. M. Khalfina, S. A. Stepanov, M. S. Nikulin, S. I. Adyan, P. S. Soltan, A. V. Zabrodin, L. A. Bokut’, S. Yu. Maslov, G. E. Mints, E. M. Chirka, M. V. Fedoryuk, N. K. Nikol’skiĭ, B. S. Pavlov, A. L. Shmel’kin, A. V. Arkhangel’skiĭ, A. B. Bakushinskiĭ, D. A. Ponomarev, I. V. Dolgachev, A. A. Boyarkin, A. V. Mikhalev, M. I. Voĭtsekhovskiĭ, A. V. Prokhorov, L. E. Reĭzin’, A. M. Il’in, G. N. Dyubin, D. P. Zhelobenko, V. P. Chistyakov, A. V. Khokhlov, V. A. Dushskiĭ, M. Sh. Farber, E. D. Solomentsev, V. D. Kukin, A. A. Mal’tsev, M. A. Shtan’ko, T. P. Lukashenko, Rédigé Par C. Mayer, E. M. Nikishin, B. M. Bredikhin, R. A. Minlos, N. G. Ushakov, V. A. Skvortsov, V. E. Tarakanov, V. I. Danilov, G. P. Tolstov, D. V. Anosov, S. N. Artemov, L. A. Skornyakov, E. V. Shikin, I. V. Proskuryakov, Yu. A. Kuznetsov, A. B. Ivanov, V. I. Ponomarev, A. V. Chernavskiĭ, D. A. Suprunenko, V. I. Nechaev, Yu. I. Merzlyakov, O. A. Ivanova, V. V. Fedorchuk, V. L. Popov, N. A. Karpova, R. A. Prokhorova, M. M. Potapov, V. D. Mazurov, Yu. B. Rudyak, A. V. Gulin, A. A. Samarskiĭ, N. S. Bakhvalov, L. A. Oganesyan, Yu. M. Davydov, V. E. Tarankanov, A. B. Vasil’eva, E. V. Pankrat’ev, R. L. Dobrushin, V. V. Prelov, A. A. Dezin, E. F. Mishchenko, A. V. Bitsadze, I. N. Vekua, A. M. Nakhushev, I. A. Shishmarev, E. I. Moiseev, V. D. Kupradze, F. P. Vasil’ev, N. N. Kuznetsov, B. L. Rozhdestvenskiĭ, I. P. Makarov, S. S. Gaĭsaryan, A. D. Myshkis, M. S. Nikol’skiĭ, A. I. Subbotin, Ü. Lumiste, A. V. Pogorelov, D. V. Alekseevskiĭ, A. F. Filippov, V. I. Shulikovskiĭ, A. I. Shtern, S. P. Novikov, V. A. Morozov, O. G. Smolyanov, V. M. Tikhomirov, V. M. Babich, V. A. Chuyanov, L. I. Kamynin, Yu. A. Rozanov, V. A. Iskovskikh, B. A. Pasynkov, P. S. Aleksandrov, L. I. Sedov, D. D. Sokolov, V. G. Sprindzhuk, S. M. Voronin, Yu. V. Matiyasevich, A. N. Parshin, V. G. Krechet, M. Sh. Tsalenko, A. I. Loginov, A. F. Lavrik, L. N. Bol’shev, A. Yanushauskas, A. F. Leont’ev, E. A. Bredikhina, I. B. Vapnyarskiĭ, V. M. Solodov, V. B. Kudryavtsev, E. B. Vinberg, A. P. Terekhin, Yu. I. Zhuravlev, G. A. Sardanashvili, S. M. Sirota, E. G. D’yakonov, E. N. Kuz’min, N. M. Mitrofanova, A. P. Khusu, S. K. Sobolev, V. N. Tutubalin, V. S. Vladimirov, V. A. Dorodnitsyn, I. S. Iokhvidov, K. S. Swirskiĭ, E. G. Goluzina, Yu. V. Prokhorov, V. V. Sazonov, V. D. Belousov, D. M. Smirnov, L. P. Kuptsov, I. I. Volkov, L. V. Kuz’min, M. Shirinbekov, V. N. Grishin, I. N. Vrublevskaya, M. M. Popov, F. A. Kabakov, A. F. Shapkin, V. K. Domanskiĭ, G. S. Chogoshvili, V. P. Palamodov, A. I. Markusevich, S. Ya. Khavinson, A. I. Kostrikin, A. S. Parkhomenko, M. I. Voĭsekhovskiĭ, T. S. Fofanova, W. Glagolev, E. G. Sklyarenko, A. A. Kirillov, K. Bulota, E. B. Yanovskaya, I. Kh. Sabitov, E. G. Sobolevskaya, L. A. Molotkov, S. A. Ashmanov, V. G. Karmanov, E. N. Berezkin, A. V. Lykov

Publikováno v: Encyclopaedia of Mathematics ISBN: 9780792329749

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cf855d54672932a7a08af396c3a6daf4
https://doi.org/10.1007/978-1-4899-3795-7_2

G

Autor: A. F. Kharshiladze, D. V. Alekseevskiĭ, N. N. Vorob’ev, V. A. Trenogin, A. Z. Petrov, D. D. Sokolov, E. A. Nisnevich, A. I. Skopin, S. P. Demushkin, V. P. Platonov, O. A. Ivanova, L. A. Skornyakov, I. V. Dolgachev, M. M. Postnikov, K. I. Beĭdar, A. V. Mikhalev, B. A. Sevast’yanov, E. B. Yanovskaya, V. K. Domanskiĭ, A. N. Lyapunov, A. S. Mikhaĭlova, F. I. Ereshko, I. A. Vatel’, O. V. Sarmanov, A. V. Prokhorov, Yu. V. Prokhorov, L. P. Kuptsov, A. A. Dezin, Yu. I. Shokin, N. N. Yanenko, L. N. Sretenskiĭ, V. M. Tikhomirov, V. D. Kukin, Yu. D. Burago, D. P. Zhelobenko, M. K. Samarin, S. N. Chernikov, B. M. Bredikhin, V. V. Rumyantsev, N. S. Bakhvalov, V. P. Motornyĭ, S. A. Stepanov, L. N. Shevrin, A. P. Prudnikov, E. D. Solomentsev, R. L. Dobrushin, V. V. Prelov, E. V. Shikin, D. V. Anosov, E. A. Gorin, L. N. Bol’shev, N. Kh. Rozov, V. E. Plisko, A. V. Arkhangel’skiĭ, V. A. Iskovskikh, B. M. Levitan, A. V. Bitsadze, Yu. B. Rudyak, S. M. Nikol’skiĭ, G. L. Litvinov, V. S. Vladimirov, A. L. Shmel’kin, V. I. Ponomarev, P. K. Suetin, S. G. Kreĭn, V. I. Danilov, M. I. Voĭtsekhovskiĭ, A. Wörz-Busekros, G. E. Mints, Vik. S. Kulikov, A. S. Rapinchuk, V. I. Dmitriev, V. A. Zalgaller, Yu. A. Volkov, Yu. S. Slobodyan, V. F. Eremeev, M. I. Yurkina, V. M. Babich, E. G. Sklyarenko, P. S. Modenov, A. S. Parkhomenko, V. M. Kalinin, N. M. Ostianu, E. G. Poznyak, A. D. Aleksandrov, V. A. Toponogov, S. Z. Shefel’, A. V. Malyshev, E. M. Chirka, I. A. Kvasnikov, P. L. Ul’yanov, K. P. Latyshev, I. A. Shishmarev, V. L. Popov, G. V. Kuz’mina, E. N. Kuz’min, A. S. Fedenko, E. G. Goluzina, V. N. Grishin, A. A. Karatsuba, A. G. Dragalin, M. S. Nikulin, V. T. Bazylev, A. M. Nakhushev, A. K. Mitropol’skiĭ, A. V. Gladkiĭ, V. P. Kozyrev, V. B. Alekseev, A. A. Sapozhenko, A. A. Konyushkov, N. M. Nagornyĭ, A. L. Onishchik, N. V. Mitskevich, A. A. Bukhshtab, V. N. Nechaev, A. K. Gushchin, Sh. A. Alimov, V. A. Il’in, V. N. Plechko, L. D. Kudryavtsev, M. Sh. Tsalenko, I. A. Aleksandrov, P. M. Tamrazov, M. I. Kargapolov, Yu. I. Merzlyakov, A. A. Bovdi, A. I. Shtern, E. B. Vinberg, I. P. Egorov, V. M. Kopytov, V. D. Belousov, A. F. Leont’ev

Publikováno v: Encyclopaedia of Mathematics ISBN: 9780792329749

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c6ea148c48e712ef8f750458a5eb3f3b
https://doi.org/10.1007/978-1-4899-3795-7_5