-uniform structures and -functions. I

DOI10.1007/S10469-011-9155-4MaRDI QIDQ694228zbMATH OpenOpenAlexFDO

Authors 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

\(\Sigma \)-definability\(\Sigma \)-uniform structurehereditarily finite admissible setuniversal \(\Sigma \)-function

Mathematics Subject Classification ID

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

Recommendations

• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II
• Universal functions and \(K \Sigma \)-structures
• Universal functions and _ -bounded structures
• On a universal -function over a tree
• \(\Sigma \)-bounded algebraic systems and universal functions. I

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
• Computability in special models
• On -subsets of naturals over abelian groups
• On principles of computability on admissible sets
• S-Subsets of Natural Numbers

Cited in

(11)

• Universal functions and unbounded branching trees
• On a universal -function over a tree
• Universal functions and \(K \Sigma \)-structures
• Universal functions and _ -bounded structures
• The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
• A class of almost \(c\)-simple rings
• Universal functions and almost \(c\)-simple models
• On universal functions in hereditarily finite superstructures
• \(\Sigma \)-bounded algebraic systems and universal functions. I
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II
• Universal functions over trees

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694228)