Paths in Kleene's0

DOI10.1007/BF01977293zbMath0153.31602MaRDI QIDQ5534211

Unnamed Author

Publication date: 1967

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137795

zbMATH Keywords

mathematical logic

Cites Work

• Non-uniqueness at ω2 in Kleene'sO
• Incompleteness along paths in progressions of theories
• On the Forms of the Predicates in the Theory of Constructive Ordinals

This page was built for publication: Paths in Kleene's0