scientific article; zbMATH DE number 1396727

zbMath0930.03052MaRDI QIDQ4936677

A. N. Stukachev

Publication date: 31 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

uniformizationadmissible setSkolem functionshereditarily finite superstructure

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)

Related Items (6)

Descriptive properties on admissible sets ⋮ Universal functions and \(K \Sigma \)-structures ⋮ Universal functions and almost \(c\)-simple models ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field ⋮ Properties of \(s\Sigma\)-reducibility ⋮ A class of almost \(c\)-simple rings

This page was built for publication: