Matematicheskie Trudy
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Mat. Tr.:
Year:
Volume:
Issue:
Page:
Find




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

Matematicheskie Trudy, 2018, Volume 21, Number 2, Pages 3–60
DOI: https://doi.org/10.17377/mattrudy.2018.21.201 (Mi mt337) 		 
A computable structure with non-standard computability

R. R. Avdeeva, V. G. Puzarenkoab

a Novosibirsk State University, Novosibirsk, 630090 Russia
b Sobolev Institute of Mathematics, Novosibirsk, 630090 Russia
Full-text PDF (491 kB)
References:
PDF
HTML
DOI: https://doi.org/10.17377/mattrudy.2018.21.201
Abstract: We find an example of a computable admissible set whose level of computability is higher than that of the standard model of Peano arithmetic. As a byproduct, we construct a $1$ model of an undecidable submodel complete theory.
Key words: admissible set, hyperadmissible set, hereditarily finite superstructure, recursively saturated model, computable model, decidable model, $\Sigma$-reducibility, $\Sigma$-definability.
Funding agency Grant number
Russian Foundation for Basic Research 18-01-00624_а
The work of the second author was partially supported by the Russian Foundation for Basic Research (project 18-01-00624).
Received: 13.09.2017
English version:
Siberian Advances in Mathematics, 2019, Volume 29, Issue 2, Pages 77–115
DOI: https://doi.org/10.3103/S1055134419020019
Bibliographic databases:
Document Type: Article
UDC: 510.5
Language: Russian
Citation: R. R. Avdeev, V. G. Puzarenko, “A computable structure with non-standard computability”, Mat. Tr., 21:2 (2018), 3–60; Siberian Adv. Math., 29:2 (2019), 77–115
Citation in format AMSBIB
\Bibitem{AvdPuz18}
\by R.~R.~Avdeev, V.~G.~Puzarenko
\paper A~computable structure with non-standard computability
\jour Mat. Tr.
\yr 2018
\vol 21
\issue 2
\pages 3--60
\mathnet{http://mi.mathnet.ru/mt337}
\crossref{https://doi.org/10.17377/mattrudy.2018.21.201}
\transl
\jour Siberian Adv. Math.
\yr 2019
\vol 29
\issue 2
\pages 77--115
\crossref{https://doi.org/10.3103/S1055134419020019}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85067695211}
Linking options:
  • https://www.mathnet.ru/eng/mt337
  • https://www.mathnet.ru/eng/mt/v21/i2/p3
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические труды Siberian Advances in Mathematics
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025