scientific article; zbMATH DE number 874294

MaRDI QIDQ4876818zbMATH OpenFDO

Authors

Publication date 6 May 1996

zbMATH Keywords

axiom of choiceBoolean prime ideal theoremFraenkel-Mostowski permutation modelsindependence resultsZFA

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiom of choice and related propositions (03E25) Consistency and independence results (03E35)

Recommendations

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

Cited in

(12)

• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
• Permutation models and topological groups
• Fresh logic: Proof-theory and semantics for FM and nominal techniques
• A general mathematics of names
• An extension of a permutative model of set theory
• scientific article; zbMATH DE number 4029545 (Why is no real title available?)
• Freyd’s models for the independence of the axiom of choice
• scientific article; zbMATH DE number 663786 (Why is no real title available?)
• scientific article; zbMATH DE number 1126834 (Why is no real title available?)
• A permutation model with finite partitions of the set of atoms as supports
• 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 Q4876818)