Largest initial segments pointwise fixed by automorphisms of models of set theory.

Ali Enayat Matt Kaufmann Zachiri McKenzie

Published in: Arch. Math. Log. (2018)

Keyphrases

pointwise
set theory
weighted sum
computer vision
probabilistic model
partial order
neural network
artificial intelligence