\(\Sigma \)-uniform structures and \(\Sigma \)-functions. I

DOI10.1007/s10469-011-9155-4zbMath1285.03062OpenAlexW1988167209MaRDI QIDQ694228

A. N. Khisamiev

Publication date: 11 December 2012

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

Full work available at URL: https://doi.org/10.1007/s10469-011-9155-4

zbMATH Keywords

hereditarily finite admissible set\(\Sigma \)-definabilityuniversal \(\Sigma \)-function\(\Sigma \)-uniform structure

Mathematics Subject Classification ID

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

Related Items (7)

Universal functions over trees ⋮ Universal functions and \(K \Sigma \)-structures ⋮ Universal functions and unbounded branching trees ⋮ Universal functions and almost \(c\)-simple models ⋮ \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field ⋮ A class of almost \(c\)-simple rings

Cites Work

• \(\Sigma \)-bounded algebraic systems and universal functions. I
• \(\Sigma\)-bounded algebraic systems and universal functions. II
• A universal recursive function on admissible sets
• S-Subsets of Natural Numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I