par Esser, Olivier 
Référence Mathematical logic quarterly, 58, 1-2, page (55-62)
Publication Publié, 2012-02
Référence Mathematical logic quarterly, 58, 1-2, page (55-62)
Publication Publié, 2012-02
Article révisé par les pairs
| Résumé : | In this paper we define the forcing relation and prove its basic properties in the context of the theory ZFCA, i.e., ZFC minus the Foundation axiom and plus the Anti-Foundation axiom (AFA). © 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. |
