Superautonomous numerations and projected ordinals

DOI10.1007/BF01978414zbMath0788.03064MaRDI QIDQ1191166

A. N. Gamova

Publication date: 27 September 1992

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

zbMATH Keywords

computations with oracleseffective oraclesmetarecursionstandard models of second order arithmeticsuperautonomous numeration

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Equational theories for the varieties of metabelian and commutative rings

Cites Work

• A method of modeling a classical second stage arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Superautonomous numerations and projected ordinals