Definability of Henselian Valuations by conditions on the Value Group.

Lothar Sebastian Krapp Salma Kuhlmann Moritz Link

Published in: J. Symb. Log. (2023)

Keyphrases

sufficient conditions
fixed point
artificial intelligence
group members
neural network
cooperative
np hard
propositional logic
e learning
website
decision trees
digital libraries
group activities
group membership