Publications in Math-Net.Ru
-
Baker's method in the theory of transcendental numbers
Uspekhi Mat. Nauk, 31:4(190) (1976), 281–282
-
Descendingly incomplete ultrafilters
Dokl. Akad. Nauk SSSR, 218:5 (1974), 1032–1035
-
A mutual transcendence measure for some classes of numbers
Dokl. Akad. Nauk SSSR, 218:4 (1974), 771–774
-
Transversals and properties of compactness type
Dokl. Akad. Nauk SSSR, 216:4 (1974), 748–750
-
Algebraic independence of some values of the exponential function
Mat. Zametki, 15:4 (1974), 661–672
-
Regular and descending incomplete ultrafilters
Dokl. Akad. Nauk SSSR, 198:4 (1971), 779–782
-
Questions of the theory of models that are connected with
categoricity
Algebra Logika, 9:1 (1970), 80–120
-
Diophantine predicates
Uspekhi Mat. Nauk, 25:4(154) (1970), 185–186
-
Some results in the theory of infinitely long expressions
Dokl. Akad. Nauk SSSR, 179:6 (1968), 1286–1288
-
Th. Sêîlåm, Selected Works in Logic (review)
Uspekhi Mat. Nauk, 26:1(157) (1971), 258–260
© , 2024