scientific article; zbMATH DE number 3496130
From MaRDI portal
Publication:4078002
zbMath0317.02047MaRDI QIDQ4078002
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (3)
Problemi aperti sulle algebre diagonali ⋮ For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) ⋮ On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
This page was built for publication:
