Inner models from extended logics: Part 1.

Juliette Kennedy Menachem Magidor Jouko Väänänen

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

Keyphrases

expressive power
artificial intelligence
prior knowledge
database
neural network
probabilistic model
language model
complex systems
accurate models