Publication:4309355
From MaRDI portal
zbMath0808.03033MaRDI QIDQ4309355
Publication date: 15 March 1995
automorphism; permutation group; Fraenkel-Mostowski permutation models of ZFA; amorphous sets; strictly minimal set; countable universal-homogeneous structures; finite axioms of choice
03C62: Models of arithmetic and set theory
03E25: Axiom of choice and related propositions
20B27: Infinite automorphism groups
Related Items
Non-well-foundedness of well-orderable power sets, Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms, A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets, A general mathematics of names