When cardinals determine the power set: inner models and Härtig quantifier logic.

Jouko Väänänen Philip D. Welch

Published in: Math. Log. Q. (2023)

Keyphrases

probabilistic model
complex systems
small number
mathematical models
machine learning
information systems
evolutionary algorithm
knowledge representation
horn clauses
logical rules