scientific article; zbMATH DE number 1396727

MaRDI QIDQ4936677zbMATH OpenFDO

Authors A. N. Stukachev

Publication date 31 January 2000

zbMATH Keywords

admissible sethereditarily finite superstructureSkolem functionsuniformization

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)

Recommendations

• The uniformization property in hereditary finite superstructures
• On -definability of hereditarily finite and list superstructures
• Uniformization in superstructures over some extensions of \(\mathbb{R}\)
• scientific article; zbMATH DE number 2167511
• On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models

Cited in

(10)

• The uniformization property in hereditary finite superstructures
• Universal functions and \(K \Sigma \)-structures
• 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
• Universal functions and almost \(c\)-simple models
• Hereditary uniform property
• Descriptive properties on admissible sets
• On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models
• Uniformization in superstructures over some extensions of \(\mathbb{R}\)

This page was built for publication:

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