A method of modeling a classical second stage arithmetic

DOI10.1007/BF01979645MaRDI QIDQ793020zbMATH OpenOpenAlexFDO

Authors N. V. Belyakin

Publication date 1983

Published in Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

iteration of hyperjumpsecond order arithmetictwo-quantifier second order comprehension

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Higher-type and set recursion theory (03D65) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 2047480
• scientific article; zbMATH DE number 4043837
• Superautonomous numerations and projected ordinals
• Closed machine-oracle model of the arithmetic of transfinite types
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis

Cites work

• scientific article; zbMATH DE number 3463621 (Why is no real title available?)
• scientific article; zbMATH DE number 3532936 (Why is no real title available?)
• On the normal subgroups of the orthogonal group over a ring with involution.

Cited in

(3)

• Some modifications of iterated Kleene calculability
• Pulsating hierarchies
• Superautonomous numerations and projected ordinals

This page was built for publication: A method of modeling a classical second stage arithmetic

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