Výsledky vyhledávání - "Doklady Akademii nauk SSSR"

Review

Doklady akademii nauk SSSR, B. A. Trahténbrot

Autor: Bečvář, Jiří

Publikováno v: The Journal of Symbolic Logic, 1964 Jun 01. 29(2), 98-100.

Externí odkaz: https://www.jstor.org/stable/2270422

S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. (English translation by B. M. Schein of Arifmeticheski polnye modal'nye teorii, Semiotika i informatika (Moscow), vol. 14 (for 1979, pub. 1980), pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 (for 1986, pub. 1987), pp. 401–429. (English translation by E. Mendelson of O modal'nykh logikakh, aksiomatiziruyushchikh dokazuemost', Izvestiya Akademii Nauk SSSR, Seriya matematicheskaya, vol. 49 (1985), pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 (for 1985, pub. 1986), pp. 403–405. (English translation by E. Mendelson of Nearifmetichnost' istinnostnykh predikatnykh logik dokazuemosti, Doklady Academii Nauk SSSR, vol. 284 (1985), pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 (for 1986, pub. 1987), pp. 569–572. (English translation by E. Mendelson of Arifmeticheskaya slozhnost' predikatnykh logik dokazuemosti i ikh fragmentov, Doklady Akademii Nauk SSSR, vol. 288 (1986), pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 (1987), pp. 384–387. (English translation by E. Mendelson of Numericheski korrektnye logiki dokazuemosti, Doklady Akademii Nauk SSSR, vol. 290 (1986), pp. 1289–1292.)

Autor: Vann McGee

Publikováno v: Journal of Symbolic Logic. 56:329-332

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f7e595d110d1a0430f82a5842b592db9
https://doi.org/10.2307/2274923

Zobrazit plný text záznamu

In Hindsight: Doklady Akademii Nauk SSSR, 181(4), 1968

Autor: Léon Bottou

Publikováno v: Empirical Inference ISBN: 9783642411359
Empirical Inference

This short contribution presents the first paper in which Vapnik and Chervonenkis describe the foundations of Statistical Learning Theory (Vapnik, Chervonenkis (1968) Proc USSR Acad Sci 181(4): 781–783).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::391291cc2a132a56a6fceadfbe684832
https://doi.org/10.1007/978-3-642-41136-6_1

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 (for 1980, pub. 1981), pp. 219–230. (English translation of Sil′no minimal′nye schetno kategorichnye teorii, Sibirskiimatematicheskii zhurnal. vol. 21 no. 2 (1980), pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 (for 1984, pub. 1985), pp. 396-412. (English translation of Sil′no minimal′nye schetno kategorichnye teorii, II, ibid., vol. 25 no. 3 (1984), pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 (for 1984, pub. 1985), pp. 559-571. (English translation of Sil'no minimal'nye schetno-kategorichnye teorii, III, ibid., vol. 25 no. 4 (1984), pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 (for 1981, pub. 1982), pp. 149-151. (English translation by E. Mendelson of Total′no kategorichnye struktury i kombinatornye geometrii, Doklady Akademii Nauk SSSR, vol. 259 (1981), pp. 1039-1041.) - B. I. Zil′ber The structure of models of uncountably categorical theories. Proceedings of the International Congress of Mathematicians, August 16–24,1983, Warszawa, Volume 1, PWN—Polish Scientific Publishers, Warsaw, and North-Holland, Amsterdam, New York, and Oxford, 1984, pp. 359-368

Autor: Ehud Hrushovski

Publikováno v: Journal of Symbolic Logic. 58:710-713

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a2be95137bad7ebc488a5d70ea41468d
https://doi.org/10.2307/2275229

Zobrazit plný text záznamu

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

B. È. Shapirovskiĭ. O π-kharaktere i π-vese v bikompaktakh. Doklady Akademii Nauk SSSR, vol. 223 (1975), pp. 799–802. - B. È. Šapirovskiĭ. On π-character and π-weight in compact Hausdorff spaces. English translation by I. Juhász of the preceding. Soviet mathematics, vol. 16 no. 4 (for 1975, pub. 1976), pp. 999–1004. - B. È. Shapirovskiĭ. Ob otobrazheniyakh na Tikhonovskie kuby. Uspekhi matematich-eskikhnauk, vol. 35 no. 3 (1980), pp. 122–130. - B. E. Shapirovskii. Maps onto Tikhonov cubes. English translation by A. West of the preceding. Russian mathematical surveys, vol. 35 no. 3 (1980), pp. 145–156

Autor: Zoltan T. Balogh

Publikováno v: Bulletin of Symbolic Logic. 7:536-537

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d83fbf66ad0d39607c6fba453d2b1018
https://doi.org/10.1017/s1079898600005485

Zobrazit plný text záznamu

Periodical

Book Review: Doklady Akademii Nauk SSSR and Soviet mathematics

Autor: Anderson, Alan Ross

Publikováno v: Journal of Symbolic Logic; January 1969, Vol. 33 Issue: 4 p608-610, 3p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání