scientific article; zbMATH DE number 663786
From MaRDI portal
Publication:4309355
zbMath0808.03033MaRDI QIDQ4309355
Publication date: 15 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automorphismpermutation groupFraenkel-Mostowski permutation models of ZFAamorphous setsstrictly minimal setcountable universal-homogeneous structuresfinite axioms of choice
Models of arithmetic and set theory (03C62) Axiom of choice and related propositions (03E25) Infinite automorphism groups (20B27)
Related Items (4)
A general mathematics of names ⋮ 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
This page was built for publication: