On Minimal and Almost-Minimal Systems of Notations
From MaRDI portal
Publication:5622174
DOI10.2307/1994232zbMath0218.02037MaRDI QIDQ5622174
Hilary Putnam, David C. Luckham
Publication date: 1965
Full work available at URL: https://doi.org/10.2307/1994232
03D55: Hierarchies of computability and definability
Cites Work
- Unnamed Item
- Unnamed Item
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- Recursive well-orderings
- Ordinal Numbers and Predicative Set Theory
- Recursive Functions Over Well Ordered Partial Orderings
- Constructive Versions of Ordinal Number Classes
- Hierarchies in Recursive Function Theory
- On Hierarchies and Systems of Notations
- On notation for ordinal numbers