Principal numerations of functionals on admissible sets

DOI10.1007/BF01978404zbMath0733.03036MaRDI QIDQ810015

R. Yu. Vajtsenavichyus

Publication date: 1990

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

admissible setcomputable functionalsprincipal numerationsresolvent admissible set

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Products of locally cyclic, torsion-free groups
• Unnamed Item
• Unnamed Item

This page was built for publication: Principal numerations of functionals on admissible sets