scientific article; zbMATH DE number 2047480

MaRDI QIDQ4451636zbMATH OpenFDO

Authors E. V. Gajlit

Publication date 29 February 2004

Full work available at URL https://eudml.org/doc/50668, http://www.emis.de/journals/SMZ/2003/02/content2.htm

zbMATH Keywords

second-order arithmeticmodels of set theoryoracleiterated Kleene computabilityautonomous computabilityautonomous numberingset theory without power set axiom

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Second- and higher-order arithmetic and fragments (03F35) Models of arithmetic and set theory (03C62)

Recommendations

• Superautonomous numerations and projected ordinals
• scientific article; zbMATH DE number 2047497
• Oracle programming in a higher level language
• Generalized computations with binary oracles
• Closed machine-oracle model of the arithmetic of transfinite types

Cited in

(5)

• Superautonomous numerations and projected ordinals
• scientific article; zbMATH DE number 6983478 (Why is no real title available?)
• A method of modeling a classical second stage arithmetic
• scientific article; zbMATH DE number 2047497 (Why is no real title available?)
• Third-Order Computation and Bounded Arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451636)