Publication:3772202
From MaRDI portal
zbMath0634.03041MaRDI QIDQ3772202
Publication date: 1986
03D50: Recursive equivalence types of sets and structures, isols
Related Items
Embeddings of and into Nerode semirings, Eight problems about Nerode semirings (recursive ultrapowers), On co-simple isols and their intersection types, Sub-arithmetical ultrapowers: A survey