Scientific journal "The News of Altai State University". 2005 #1(35). Mathematics and Computer Science.

Scientific journal of the
theoretical and applied
researches

Print ISSN 1561-9443
On-line ISSN 1561-9451

Issues list
	Content of 1(35) 2005
		Mathematics and Computer Science
		Physics

1(35)

2005

$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.