scientific article; zbMATH DE number 5041652
From MaRDI portal
Publication:5476783
zbMath1095.03030MaRDI QIDQ5476783
Publication date: 18 July 2006
Full work available at URL: https://eudml.org/doc/52628
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Descriptive set theory (03E15) Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)
Related Items (14)
\(\Sigma \)-bounded algebraic systems and universal functions. I ⋮ Descriptive properties on admissible sets ⋮ Positive numberings in admissible sets ⋮ Universal functions and \(K \Sigma \)-structures ⋮ A computable structure with nonstandard computability ⋮ Semidecidable numberings in admissible sets ⋮ Universal functions and almost \(c\)-simple models ⋮ Universal functions and \(\Sigma_\omega \)-bounded structures ⋮ \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I ⋮ On a universal \(\Sigma \)-function over a tree ⋮ A Computable Structure with Non-Standard Computability ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field ⋮ A class of almost \(c\)-simple rings ⋮ On universal functions in hereditarily finite superstructures
This page was built for publication:
