Trudy Matematicheskogo Instituta imeni V.A. Steklova
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
License agreement

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Trudy Mat. Inst. Steklova:
Year:
Volume:
Issue:
Page:
Find






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


Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2003, Volume 242, Pages 59–76 (Mi tm405)  

Quantifier-Free Induction Schema and the Least Element Principle

L. D. Beklemishevab

a Steklov Mathematical Institute, Russian Academy of Sciences
b Utrecht University
References:
Abstract: We consider a quantifier-free induction schema and the least element principle in the language of elementary arithmetic enriched by a free function symbol $f$. Some stronger, iterated versions of these schemata are also considered. We show that the iterated induction schema does not prove the existence of a maximum of $f$ on every finite interval. A similar result is obtained for the noniterated least element principle. At the same time, already the doubly iterated least element principle for quantifier-free formulas proves the existence of a maximum of $f$. We also obtain additional results on the relationships between the two schemata, and outline their connections with the induction schema and the least element principle for decidable relations.
Received in October 2002
Bibliographic databases:
Document Type: Article
UDC: 510.6
Language: Russian
Citation: L. D. Beklemishev, “Quantifier-Free Induction Schema and the Least Element Principle”, Mathematical logic and algebra, Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov, Trudy Mat. Inst. Steklova, 242, Nauka, MAIK «Nauka/Inteperiodika», M., 2003, 59–76; Proc. Steklov Inst. Math., 242 (2003), 50–66
Citation in format AMSBIB
\Bibitem{Bek03}
\by L.~D.~Beklemishev
\paper Quantifier-Free Induction Schema and the Least Element Principle
\inbook Mathematical logic and algebra
\bookinfo Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov
\serial Trudy Mat. Inst. Steklova
\yr 2003
\vol 242
\pages 59--76
\publ Nauka, MAIK «Nauka/Inteperiodika»
\publaddr M.
\mathnet{http://mi.mathnet.ru/tm405}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2054485}
\zmath{https://zbmath.org/?q=an:1079.03049}
\transl
\jour Proc. Steklov Inst. Math.
\yr 2003
\vol 242
\pages 50--66
Linking options:
  • https://www.mathnet.ru/eng/tm405
  • https://www.mathnet.ru/eng/tm/v242/p59
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Òðóäû Ìàòåìàòè÷åñêîãî èíñòèòóòà èìåíè Â. À. Ñòåêëîâà Proceedings of the Steklov Institute of Mathematics
    Statistics & downloads:
    Abstract page:641
    Full-text PDF :223
    References:59
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024