Boolean‐Valued Models of Set Theory with Automorphisms
models admitting automorphisms of any finite order
scientific article; zbMATH DE number 3995663