Some Consequences of the Axiom of Power-Set. - Alexander Abian; Samuel Lamacchia (J. Symb. Log., 1965)

Completeness of the generalized propositional calculus. - Alexander Abian (Notre Dame J. Formal Log., 1970)

Rado's theorem and solvability of systems of equations. - Alexander Abian (Notre Dame J. Formal Log., 1973)

On the standard-model hypothesis of ZF. - Alexander Abian (Math. Log. Q., 1975)

On the use of more than two-element Boolean valued models. - Alexander Abian (Notre Dame J. Formal Log., 1975)

Passages between finite and infinite. - Alexander Abian (Notre Dame J. Formal Log., 1978)

On the consistency and independence of some set-theoretical axioms. - Alexander Abian; Samuel Lamacchia (Notre Dame J. Formal Log., 1978)

A fixed point theorem equivalent to the axiom of choice. - Alexander Abian (Arch. Math. Log., 1985)

Unramified forcing preserving the law of double negation. - Alexander Abian; Kyriakos Keremedis (Arch. Math. Log., 1987)

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)