scientific article

zbMath0642.03028MaRDI QIDQ3783282

D. I. Sviridenko, Vladimir Yu. Sazonov

Publication date: 1986

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

zbMATH Keywords

denotational semanticsadmissible setsunification principlerecursively enumerable sets over a constructive modelSigma-expressions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (2)

\(f_ A\)-spaces ⋮ Generatability of admissible sets

This page was built for publication: