Арифметические представления перечислимых множеств с небольшим числом кванторов

Ю.В. Матиясевич

The search session has expired. Please query the service again.

Displaying similar documents to “Арифметические представления перечислимых множеств с небольшим числом кванторов”

Арифметические представления степеней

Ю.В. Матиясевич (1968)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Представления чисел спинорными родами транслированных решеток

Ю.Г. Тетерин (1986)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Простые числа перечисляются полиномом от 10 переменных

Ю.В. Матиясевич (1977)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О степенях рекурсивно перечислимых множеств.

С. Каллибеков (1973)

Sibirskij matematiceskij zurnal

Similarity:

О представлении целых чисел положительными тернарными квадратичными формами

Ю.Г. Тетерин (1983)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Приближение комплексных чисел суммой степеней целых чисел с данным комплексным показателем

Б.И. Сегал ([unknown])

Matematiceskij sbornik

Similarity:

О представлении целых чисел системой аддитивных положительных квадратичных форм

Е.В. Подсыпанин (1975)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О перечислениях разностей рекурсивно перечислимых множеств

Ш.Т. Ишмухаметов (1987)

Verojatnostnye metody i kibernetika

Similarity:

Об асимптотической плотности некоторых множеств натуральных чисел

Е.И. Шустин (1985)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О разрешимости некоторых теорий целых чисел.

Ю.Г. Пензин (1973)

Sibirskij matematiceskij zurnal

Similarity:

Диофантова сложность

Ю.В. Матиясевич (1988)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Несколько замечаний о классах рекурсивно-перечислимых множеств.

В.Л. Селиванов (1978)

Sibirskij matematiceskij zurnal

Similarity:

Арифметика больших целых чисел на ЭВМ типа M-20

Т.Н. Смирнова, Е.М. Костометова, Н.Б. Малышев (1973)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств

С.Л. Березнюк (1993)

Algebra i Logika

Similarity:

О рекурсивно перечислимых минимальных btt-степенях

С.С. Марченков (1977)

Matematiceskij sbornik

Similarity:

Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств

Ю.Д. Шмидт (1989)

Algebra i Logika

Similarity:

О семехствах рекурсивно-перечислимых множеств

Ш.Т. Ишмухаметов (1982)

Verojatnostnye metody i kibernetika

Similarity: