\(\Sigma\)-predicates of finite types over an admissible set
From MaRDI portal
Publication:1820777
DOI10.1007/BF01978708zbMath0615.03036MaRDI QIDQ1820777
Publication date: 1985
Published in: Algebra and Logic (Search for Journal in Brave)
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
Related Items (4)
\(f_ A\)-spaces ⋮ Basis of identities of a three-dimensional simple Lie algebra over an infinite field ⋮ Polynomial identities for a family of simple jordan algebras ⋮ Associative identities of octonions
Cites Work
This page was built for publication: \(\Sigma\)-predicates of finite types over an admissible set
