Standard

Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение. / Старчак, Михаил Романович.

In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ, Vol. 66, No. 4, 04.01.2022, p. 608-619.

Research output: Contribution to journal › Article › peer-review

Harvard

Старчак, МР 2022, 'Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение', ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ, vol. 66, no. 4, pp. 608-619. <https://math-mech-astr-journal.spbu.ru/article/view/12565>

APA

Старчак, М. Р. (2022). Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ, 66(4), 608-619. https://math-mech-astr-journal.spbu.ru/article/view/12565

Vancouver

Старчак МР. Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 2022 Jan 4;66(4):608-619.

Author

Старчак, Михаил Романович. / Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение. In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 2022 ; Vol. 66, No. 4. pp. 608-619.

BibTeX

@article{e8aba3fcc4c449eaa4a751487b31a66e,
title = "Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение",
abstract = "Работа является второй частью нового доказательства теоремы Бельтюкова-Липшица о разрешимости экзистенциальной теории структуры . Строится алгоритм квази-ЭК (понятие введено в первой части доказательства), осуществляющий сведение проблемы разрешимости для экзистенциальной теории структуры к проблеме разрешимости для позитивной экзистенциальной теории структуры 0; 1, {a·}a∈Z>0 , НОД>. Так как разрешимость последней теории была доказана в первой части, построенное сведение завершит доказательство теоремы. На шаге отделения переменной для квазиэлиминации используются аналоги двух лемм из доказательства Липшица. Шаг квазиэлиминации основан на НОДлемме, доказанной в первой части.",
keywords = "элиминация кванторов, экзистенциальная теория, делимость, алгоритмическая разрешимость, китайская теорема об остатках",
author = "Старчак, {Михаил Романович}",
note = "Старчак, М. Р. (2022). Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 66(4), 619-608. https://doi.org/10.21638/spbu01.2021.406",
year = "2022",
month = jan,
day = "4",
language = "русский",
volume = "66",
pages = "608--619",
journal = "ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ",
issn = "1025-3106",
publisher = "Издательство Санкт-Петербургского университета",
number = "4",

}

RIS

TY - JOUR

T1 - Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение

AU - Старчак, Михаил Романович

N1 - Старчак, М. Р. (2022). Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение. Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 66(4), 619-608. https://doi.org/10.21638/spbu01.2021.406

PY - 2022/1/4

Y1 - 2022/1/4

N2 - Работа является второй частью нового доказательства теоремы Бельтюкова-Липшица о разрешимости экзистенциальной теории структуры . Строится алгоритм квази-ЭК (понятие введено в первой части доказательства), осуществляющий сведение проблемы разрешимости для экзистенциальной теории структуры к проблеме разрешимости для позитивной экзистенциальной теории структуры 0; 1, {a·}a∈Z>0 , НОД>. Так как разрешимость последней теории была доказана в первой части, построенное сведение завершит доказательство теоремы. На шаге отделения переменной для квазиэлиминации используются аналоги двух лемм из доказательства Липшица. Шаг квазиэлиминации основан на НОДлемме, доказанной в первой части.

AB - Работа является второй частью нового доказательства теоремы Бельтюкова-Липшица о разрешимости экзистенциальной теории структуры . Строится алгоритм квази-ЭК (понятие введено в первой части доказательства), осуществляющий сведение проблемы разрешимости для экзистенциальной теории структуры к проблеме разрешимости для позитивной экзистенциальной теории структуры 0; 1, {a·}a∈Z>0 , НОД>. Так как разрешимость последней теории была доказана в первой части, построенное сведение завершит доказательство теоремы. На шаге отделения переменной для квазиэлиминации используются аналоги двух лемм из доказательства Липшица. Шаг квазиэлиминации основан на НОДлемме, доказанной в первой части.

KW - элиминация кванторов

KW - экзистенциальная теория

KW - делимость

KW - алгоритмическая разрешимость

KW - китайская теорема об остатках

M3 - статья

VL - 66

SP - 608

EP - 619

JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ

SN - 1025-3106

IS - 4

ER -

ID: 91388594