Compact posets and ramifiability of large cardinals. - Wael A. Amin (1989)

An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom. - Alexander Abian; Wael A. Amin (Notre Dame J. Formal Log., 1990)

The Cardinality of Powersets in Finite Models of the Powerset Axiom. - Alexander Abian; Wael A. Amin (Notre Dame J. Formal Log., 1991)