scientific article; zbMATH DE number 663786

zbMATH Open0808.03033MaRDI QIDQ4309355FDOQ4309355

Authors: John K. Truss 

Publication date: 15 March 1995

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• The Fraenkel-Mostowski method, revisited
• An extension of a permutative model of set theory
• Non-well-foundedness of well-orderable power sets
• A general mathematics of names
• Title not available (Why is that?)

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)