A method of modeling a classical second stage arithmetic

DOI10.1007/BF01979645zbMath0538.03040OpenAlexW1984869879MaRDI QIDQ793020

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

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

Related Items (3)

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

Cites Work

• On the normal subgroups of the orthogonal group over a ring with involution.
• Unnamed Item
• Unnamed Item

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