Strongly compact cardinals and ordinal definability.

Gabriel Goldberg

Published in: J. Math. Log. (2024)

Keyphrases

fixed point
propositional logic
genetic algorithm
image processing
clustering algorithm
decision trees