When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

Juan Climent Vidal Enric Cosme-Llópez

Published in: Log. J. IGPL (2018)

Keyphrases

relation algebra
spatial reasoning
distributive lattices
data mining
decision trees
topological spaces
clifford algebra
artificial intelligence
lower bound
finite number