scientific article; zbMATH DE number 2047480

zbMATH Open1034.03048MaRDI QIDQ4451636FDOQ4451636

Authors: E. V. Gajlit 

Publication date: 29 February 2004

Full work available at URL: https://eudml.org/doc/50668

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• Third-Order Computation and Bounded Arithmetic
• A method of modeling a classical second stage arithmetic
• Title not available (Why is that?)
• Superautonomous numerations and projected ordinals

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)