\(\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
\(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