Back to Search Start Over

Forcing with the Anti-Foundation axiom

Authors :
Esser, Olivier
Esser, Olivier
Source :
Mathematical logic quarterly, 58 (1-2
Publication Year :
2012

Abstract

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.<br />SCOPUS: ar.j<br />FLWIN<br />info:eu-repo/semantics/published

Details

Database :
OAIster
Journal :
Mathematical logic quarterly, 58 (1-2
Notes :
1 full-text file(s): application/pdf, English
Publication Type :
Electronic Resource
Accession number :
edsoai.ocn893987988
Document Type :
Electronic Resource