scientific article
From MaRDI portal
Publication:3792674
zbMath0648.03031MaRDI QIDQ3792674
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gandy's theorem\(\Sigma \)-admissible set\(\Sigma \)-reflection principlerecursion-theoretic properties of admissible sets
Data structures (68P05) 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)
This page was built for publication:
