Abstract

Quasi-set theory????\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {Q}$$\end{document} is a first order theory which allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that x = x is not a formula, if x is an arbitrary term. The terms of????\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {Q}$$\end{document} are either collections or atoms (empty terms who are not collections), in a precise sense. Within this context,????\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {Q}$$\end{document} is supposed to be some sort of generalization of ZFU (ZF with atoms). Strangely enough, no one published any permutation model of quasi-set theory until now, although this theory is already 30 years old. In this paper I introduce a class of permutation models of????′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {Q}'$$\end{document} defined as????−{Axiom of Choice and all axioms involving quasi-cardinality}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {Q}-\{\text{Axiom of Choice and all axioms involving quasi-cardinality}\}$$\end{document}. I show, for example, that all permutation models of????′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {Q}'$$\end{document} are models of ZFU−{Axiom of Choice}.