English Russian
Journal Title
Scientific journal of the
theoretical and applied
The News of Altai State University
Print ISSN 1561-9443
On-line ISSN 1561-9451
Issues list
Content of 1(35) 2005
Mathematics and Computer Science
Mathematics and Computer Science

Previous | Next
V.A. Ganov

The closed machine-oracle model of the arithmetic of transfinite types

New method of constructed of the set of oracles is created. Functionals which are computable relative to this set of oracles form the standard model of Peano arithmetic contained functional variables of special types. Types of variables are computable ordinals. For every such type the corresponding comprehension axiom is introduced.

Full text at PDF, 98Kb. Language: russian.

Print Edition of "The News of Altai State University" © 1996-2010 Altai State University.
All rights reserved. Any of parts of a journal or edition as a whole cannot be reprinted without the written sanction of the authors or publisher. On purchase of a journal to address to ASU publishing house:
Altai State University. 656049, 66 Dimitrova street, Barnaul, Russia. Telephone + 7 (3852) 366351.