First-order rigidity of rings satisfying polynomial identities.

Be'eri Greenfeld

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

polynomial size
higher order
first order logic
point correspondences
low order
multiscale
linear temporal logic
genetic algorithm
multi agent
special case
knowledge representation
quantifier elimination
term rewriting
stochastic dominance