Main content

Athar Abdul-Quader

Assistant Professor of Mathematics/Computer Science

Athar Abdul-Quader is interested in mathematical logic, and, in particular, model theory, the branch of mathematics focused on studying classes of mathematical structures from the perspective of first order logic. He focuses mostly on studying models of a particular set of axioms, known as Peano Arithmetic, which arose in the 19th century from an attempt to formalize number theory. This research is deeply connected to notions arising in philosophy of mathematics as well as in computer science, including the notions of truth, provability, and computability.

More About Me

Abdul-Quader has previously taught mathematics at Bronx Community College, Queens College and at John Jay College of Criminal Justice. Prior to entering graduate school, he was a software engineer at Morgan Stanley and Google. At Morgan Stanley, he was part of the Java infrastructure team, which developed and maintained internal Java libraries used across business needs by developers throughout the company. At Google he worked on internal-facing web applications. View more about Professor Abdul-Quader on his website.


“Enayat Models of Peano Arithmetic.” The Journal of Symbolic Logic. vol 83, no. 4, 2018, pp. 1501-1511.

“Neutrally expandable models of arithmetic.” (with Roman Kossak) Mathematical Logic Quarterly. vol 65, 2019, pp. 212-217.

“J. H. Schmerl, Subsets Coded in Elementary End Extensions and Minimal Elementary End Extensions.” The
Bulletin of Symbolic Logic, vol. 25, no. 1, 2019, pp. 125–126.

“CP-generic expansions of models of Peano Arithmetic.” (with James H. Schmerl) Mathematical Logic Quarterly, vol 68, 2022: pp. 171-177.