scientific article; zbMATH DE number 663786

MaRDI QIDQ4309355zbMATH OpenFDO

Authors John K. Truss

Publication date 15 March 1995

zbMATH Keywords

automorphismpermutation groupFraenkel-Mostowski permutation models of ZFAamorphous setsstrictly minimal setcountable universal-homogeneous structuresfinite axioms of choice

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Models of arithmetic and set theory (03C62) Infinite automorphism groups (20B27)

Recommendations

• Permutation models and topological groups
• An extension of a permutative model of set theory
• scientific article; zbMATH DE number 874294
• scientific article; zbMATH DE number 1126834
• A permutation model with finite partitions of the set of atoms as supports

Cited in

(12)

• scientific article; zbMATH DE number 4189999 (Why is no real title available?)
• 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 characterization of permutation models in terms of forcing
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• Permutation models and topological groups
• The Fraenkel-Mostowski method, revisited
• scientific article; zbMATH DE number 2144528 (Why is no real title available?)
• An extension of a permutative model of set theory
• Non-well-foundedness of well-orderable power sets
• A general mathematics of names
• scientific article; zbMATH DE number 4059373 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4309355)