Universal functions over trees

DOI10.1007/S10469-015-9338-5zbMath1347.03084OpenAlexW1613452037MaRDI QIDQ887649

A. N. Khisamiev

Publication date: 27 October 2015

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

Full work available at URL: https://doi.org/10.1007/s10469-015-9338-5

zbMATH Keywords

universal \(\Sigma\)-function\(\Sigma\)-definabilityadmissible sets

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• A class of almost \(c\)-simple rings
• Universal functions and almost \(c\)-simple models
• \(\Sigma \)-bounded algebraic systems and universal functions. I
• \(\Sigma\)-bounded algebraic systems and universal functions. II
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II
• A universal recursive function on admissible sets
• On a universal \(\Sigma \)-function over a tree
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Universal functions over trees