Choice by enumeration without power - how strong is it?

[Frode Bjørdal]

I am considering a set theory W given by ZF minus power set and an
enumeration axiom stating that all sets are the image of a function from
set of natural numbers. It seems clear that we get versions of choice such
as the multiplicative axiom. How strong is W?
.......................................................
Professor Dr. Frode Alfson Bjørdal
Universitetet i Oslo Universidade Federal do Rio Grande do Norte
quicumque vult hinc potest accedere ad paginam virtualem meam
<http://www.hf.uio.no/ifikk/personer/vit/fbjordal/index.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200126/e4509b19/attachment.html>