An Extension of a Permutative Model of Set Theory

DOI10.2478/V10157-011-0038-8zbMath1274.03073OpenAlexW2169499387MaRDI QIDQ2919602

Andrei Alexandru, Gabriel Ciobanu

Publication date: 4 October 2012

Published in: Annals of the Alexandru Ioan Cuza University - Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10157-011-0038-8

zbMATH Keywords

symmetry groupaxiom of choicetorsion groupfinitely generated groupset theory with atomspermutation modelFraenkel-Mostowski model

Mathematics Subject Classification ID

General theory for infinite permutation groups (20B07) Axiomatics of classical set theory and its fragments (03E30) Local properties of groups (20E25) Axiom of choice and related propositions (03E25)

Cites Work

• Unnamed Item
• Unnamed Item
• Nominal logic, a first order theory of names and binding
• Nominal Renaming Sets

This page was built for publication: An Extension of a Permutative Model of Set Theory