R. Gregory Taylor, Associate Professor, Manhattan College
Mailing address: Department of Mathematics and Computer Science, Manhattan College, Manhattan College Parkway, Riverdale, NY 10471–4098
Office: RLC 201G
Office Hours: Mondays and Thursdays from 1:30–3 p.m. and by appointment
Telephone: (718)–862–7831 (voice mail)
Fax: (718)–862–7994
E-mail: gregory.taylor@manhattan.edu

Theory of Computation Materials

Slides Concerning Finite Model Theory (.pdf format)

Current Research Interests

CV (.pdf format)

Chopin Mazurka

Recent Publications

• "Zermelo's Analysis of 'General Proposition'," to appear in History and Philosophy of Logic
• "Symmetric Propositions and Logical Quantifiers," to appear in Journal of Philosophical Logic.
• Review of: Two recent articles by H.–D. Ebbinghaus concerning materials in Zermelo's Nachlaß. Appears in Bulletin of Symbolic Logic 10 (2004) 590–92.
• Review of: Peter Clote and Evangelos Kranakis, Boolean Functions and Computation Models (Springer–Verlag, 2002). Appears in SIGACT News 35/4 (2004) 5–11.
• "Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions," Bulletin of Symbolic Logic 8 (2002) 478–514.
• Review of: Joachim von zur Gathen and Jürgen Gerhard, Modern Computer Algebra (Cambridge University Press, 1999). Appears in SIGACT News 33/3 (2002) 7–14.

Recent Talks

• "Symmetric Propositions and First-Order Languages," Association for Symbolic Logic Annual Meeting (Gainesville), March 12, 2007 (abstract in Bulletin of Symbolic Logic 13 (2007) 404).
• "Symmetric Propositions and Logical Quantifiers," Association for Symbolic Logic Winter Meeting (New Orleans), January 7, 2007 (abstract in Bulletin of Symbolic Logic 13 (2007) 381).
• "An Ordinal-Theoretic Characterization of Definite Relations," Association for Symbolic Logic Annual Meeting (Montreal), May 19, 2006 (abstract in Bulletin of Symbolic Logic 13 (2007) 141).
• "Symmetric Propositions and Quantification," CUNY Logic Workshop, November 5, 2004 (abstract)