Admissible ordinals and intrinsic consistency

DOI10.2307/2270696zbMath0218.02034OpenAlexW2148207787MaRDI QIDQ5622172

Michael Machtey

Publication date: 1971

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Relative consistency and interpretations (03F25)

Related Items

Polynomial and abstract subrecursive classes

Cites Work

• Unnamed Item