Advertisement

Correctness of short proofs in theory with notions of feasibility

  • V. P. Orevkov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 417)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dragalin A.G.: Correctness of inconsistent theories with notions of feasibility. Lect. Notes Comp. Sci. (1985), v.108, 58–79Google Scholar
  2. 2.
    Gavrilenko Yu.V.: (Гавриленко ю.В.): Монотонные теории достижнмых чисел. Докл. АН СССР, 1(1984), т.276, 18–22Google Scholar
  3. 3.
    Makanin G.S.: (Маканин Г.С.) Проблема разрещимости уравнений в свободноИ полурыппе. Матем. сб., 2(1977), т.103, 147–236Google Scholar
  4. 4.
    Orevkov V.P.: (Оревков В.П.) Верхние оценки рдлинения вщводов при рстранений сечений. Зап. нарчн. семин. ломи, (1984), т.137, 87–98Google Scholar
  5. 5.
    Orevkov V.P.: (Оревков В.П.) Верхние оценки удлинения вщводов лри рстранении сечений в исчислении предикатов с равенством. Всесоюзн. конфернция по прикл. логике. Тезисщ доклалов. Новоснвирск, (1985), 167–168Google Scholar
  6. 6.
    Orevkov V.P.: (Оревков В.П.) Оценки сложности вщвола в теории лостижимщх чисел. рщ Всесоюзн. конфереренция по математическои лолике. ТеЗисщ докладов. Москва, (1986), c.146Google Scholar
  7. 7.
    Parikh R.: Existence and feasibility in arithmetic. J. Symbolic Logic, 3(1971), v.36, 494–508Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • V. P. Orevkov
    • 1
  1. 1.Leningrad Department of Steklov MathematicalInstitute of the Academy of Sciences of the USSRLeningradUSSR

Personalised recommendations