Mathematics of the USSR-Izvestiya
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Mathematics of the USSR-Izvestiya, 1984, Volume 22, Issue 2, Pages 291–308
DOI: https://doi.org/10.1070/IM1984v022n02ABEH001444
(Mi im1393)
 

This article is cited in 22 scientific papers (total in 22 papers)

Absolute realizability of predicate formulas

V. E. Plisko
References:
Abstract: The concept of an absolutely realizable predicate formula is introduced. It can be regarded as a certain refinement of the concept of a constructively generally valid formula in predicate logic. It is proved that the class of all absolutely realizable formulas is a $\Pi^1_1$-complete set.
Bibliography: 16 titles.
Received: 02.04.1982
Bibliographic databases:
UDC: 51.01.16
MSC: Primary 03B60, 03F50, 03F55; Secondary 03B65, 03D20, 03D25, 03D55, 03F35, 68F20
Language: English
Original paper language: Russian
Citation: V. E. Plisko, “Absolute realizability of predicate formulas”, Math. USSR-Izv., 22:2 (1984), 291–308
Citation in format AMSBIB
\Bibitem{Pli83}
\by V.~E.~Plisko
\paper Absolute realizability of predicate formulas
\jour Math. USSR-Izv.
\yr 1984
\vol 22
\issue 2
\pages 291--308
\mathnet{http://mi.mathnet.ru//eng/im1393}
\crossref{https://doi.org/10.1070/IM1984v022n02ABEH001444}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=697298}
\zmath{https://zbmath.org/?q=an:0554.03029}
Linking options:
  • https://www.mathnet.ru/eng/im1393
  • https://doi.org/10.1070/IM1984v022n02ABEH001444
  • https://www.mathnet.ru/eng/im/v47/i2/p315
  • This publication is cited in the following 22 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:490
    Russian version PDF:215
    English version PDF:24
    References:54
    First page:3
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024