An equivalent of the axiom of choice in finite models of the powerset axiom

DOI10.1305/NDJFL/1093635501zbMath0716.03045OpenAlexW1977100158WikidataQ114598319 ScholiaQ114598319MaRDI QIDQ752712

Alexander Abian, Wael A. Amin

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635501

zbMATH Keywords

axiom of choicechoice setExtensionalityfinite models of set theoryPowerset Axiom

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Axiom of choice and related propositions (03E25)

This page was built for publication: An equivalent of the axiom of choice in finite models of the powerset axiom