scientific article; zbMATH DE number 4021108

MaRDI QIDQ3764131zbMATH OpenFDO

Authors D. I. Sviridenko, S. S. Goncharov

Publication date 1985

zbMATH Keywords

\(\Sigma \)-formulasfirst-order languagerecursive functions

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic on admissible sets (03C70) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited in

(16)

• Effective oracles
• Insertion programming
• Logical language of description of polynomial computing
• The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
• Sigma*
• scientific article; zbMATH DE number 3890767 (Why is no real title available?)
• scientific article; zbMATH DE number 4139721 (Why is no real title available?)
• scientific article; zbMATH DE number 3950242 (Why is no real title available?)
• scientific article; zbMATH DE number 4007715 (Why is no real title available?)
• scientific article; zbMATH DE number 4037166 (Why is no real title available?)
• scientific article; zbMATH DE number 4045728 (Why is no real title available?)
• scientific article; zbMATH DE number 1191243 (Why is no real title available?)
• THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS
• Logical approach to control theory and applications
• scientific article; zbMATH DE number 2050948 (Why is no real title available?)
• 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 Q3764131)