Abstract
In the paper we introduce and study regular enumerations for arbitrary recursive ordinals. Several applications of the technique are presented.
Citation
V. Baleva. I. N. Soskov. "Regular enumerations." J. Symbolic Logic 67 (4) 1323 - 1343, December 2002. https://doi.org/10.2178/jsl/1190150287
Information
Published: December 2002
First available in Project Euclid: 18 September 2007
zbMATH: 1053.03024
MathSciNet: MR1955240
Digital Object Identifier: 10.2178/jsl/1190150287
Subjects:
Primary:
03D25
Secondary:
03D45
Rights: Copyright © 2002 Association for Symbolic Logic