On Hierarchies and Systems of Notations

DOI10.2307/2034347zbMath0237.02011OpenAlexW4242642471MaRDI QIDQ5646888

Hilary Putnam

Publication date: 1964

Full work available at URL: https://doi.org/10.2307/2034347

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)

Related Items (2)

On Minimal and Almost-Minimal Systems of Notations ⋮ Constructive transfinite number classes

Cites Work

• Unnamed Item
• Unnamed Item
• Arithmetical Predicates and Function Quantifiers
• Constructive Versions of Ordinal Number Classes
• The constructive second number class

This page was built for publication: On Hierarchies and Systems of Notations