Set existence principles of Shoenfield, Ackermann, and Powell
Set theories incorporating Hilbert's ε-symbol [Book]
Set theory in predicate calculus with equality
Set theory over classes [Book]
Some comments on the paper by Artigue, Isambert, Perrin and Zalc
Some Fundamental Structures On Classes
Some remarks on bicommutability
Starkes und überstarkes Auswahlaxiom.
Sul problema dell'autoriferimento
We formulate, within the frame-theory for the foundations of Mathematics outlined in [2], a list of axioms which state that almost all "interesting" collections and almost all "interesting" operations are elements of the universe. The resulting theory would thus have the important foundational feature of being completely self-contained. Unfortunately, the whole list is inconsistent, and we are led to formulate the following problem, which we call the problem of self-reference: "Find out...
Sur les arbres logiques de M. Krasner