scientific article; zbMATH DE number 663786

MaRDI QIDQ4309355zbMATH OpenFDO

Authors John K. Truss

Publication date 15 March 1995

zbMATH Keywords

amorphous setsautomorphismcountable universal-homogeneous structuresfinite axioms of choiceFraenkel-Mostowski permutation models of ZFApermutation groupstrictly minimal set

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiom of choice and related propositions (03E25) 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

(13)

• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
• Permutation models and topological groups
• A characterization of permutation models in terms of forcing
• A general mathematics of names
• An extension of a permutative model of set theory
• scientific article; zbMATH DE number 4189999 (Why is no real title available?)
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• scientific article; zbMATH DE number 4059373 (Why is no real title available?)
• Non-well-foundedness of well-orderable power sets
• scientific article; zbMATH DE number 2144528 (Why is no real title available?)
• scientific article; zbMATH DE number 874294 (Why is no real title available?)
• The Fraenkel-Mostowski method, revisited
• Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms

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)