Non-uniqueness at ω2 in Kleene'sO
From MaRDI portal
Publication:5586298
DOI10.1007/BF01973029zbMath0192.05501MaRDI QIDQ5586298
Kurt Schütte, John N. Crossley
Publication date: 1966
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137790
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- The constructivity of maximal dual ideals in certain Boolean algebras
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- Classifications of Recursive Functions by Means of Hierarchies
- On notation for ordinal numbers
- On the Forms of the Predicates in the Theory of Constructive Ordinals