A method of modeling a classical second stage arithmetic

DOI10.1007/BF01979645zbMATH Open0538.03040OpenAlexW1984869879MaRDI QIDQ793020FDOQ793020

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

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

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)

Cites Work

• On the normal subgroups of the orthogonal group over a ring with involution.
• Title not available (Why is that?)
• Title not available (Why is that?)

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)