1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Matthias Kunik
We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an int…