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)

Review text

In a previous paper [Algebra Logika 13, 132--144 (1974; Zbl 0296.02023)] the author described some general method of constructing models of higher order arithmetic using transfinite iteration of Kleene computability. For the second order case it can be compared with iteration of superjump. In the reviewed paper this construction is essentially modified allowing to construct a model of two-quantifier second order comprehension by means comparable with iteration of hyperjump. The presentation is very technical, but there are numerous remarks explaining the author's foundational motivations.

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
• Superautonomous numerations and projected ordinals
• Pulsating hierarchies

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)