A. H. Lightstone

Lightstone earned his PhD from the University of Toronto in 1955, under the supervision of Abraham Robinson; his thesis was entitled Contributions To The Theory Of Quantification.[3] He was a professor of mathematics at Carleton University[4] and Queen's University.[5]

Lightstone was the author or co-author of several books on mathematics:

• The Axiomatic Method: An Introduction to Mathematical Logic (Prentice Hall, 1964). This introductory textbook is divided into two parts, one providing an informal introduction to Boolean logic and the second using formal methods to prove the consistency and completeness of the predicate calculus.[10] It is aimed at students who already have some familiarity with abstract algebra, and one of its themes is an algebraic view of mathematical proofs in logic.[11]
• Concepts of Calculus (Harper and Row, 1965). This is a textbook on the calculus of real functions of a single variable. Reviewer D. R. Dickinson wrote that it "contains much novel and interesting material"; however, he also complained of its pedantic avoidance of variables (using identity functions in their place), its unnecessary insistence on considering only functions whose derivative has the same domain as the function itself, and its "dull and lengthy discussions of elementary topics".[12]
  • Concepts of Calculus, vol. 2 (Harper and Row, 1966)
  • Solutions to the exercises for Concepts of Calculus (Harper and Row, 1966)
• Fundamentals of Linear Algebra (Appleton-Century-Crofts, 1969, ISBN 0-390-56050-2)
• Symbolic Logic and the Real Number System: an Introduction to the Foundations of Number Systems (Harper and Row, 1965). This book provides a course in the construction of the real numbers based on formal logic.[13] Its goal is both to show how the real numbers can be developed from simpler concepts in arithmetic, and to demonstrate the impact of logic on the rest of mathematics.[14] As well as covering the title topics, it also contains a long section on the axioms for several algebraic structures: groups, rings, fields, and Boolean algebras.[15] One idiosyncrasy is that, rather than axiomatizing the real numbers using Dedekind cuts or Cauchy sequences, it bases its axiomatization on sequences of decimal numbers.[13][14][15]
• Nonarchimedean Fields and Asymptotic Expansions (with Abraham Robinson, North-Holland, 1975). 2016 pbk reprint. This is an introductory textbook that attempts to make the material from Robinson's 1966 monograph Non-Standard Analysis more accessible,[16] and to demonstrate the usefulness of non-standard analysis in studying asymptotic expansions.[17] It was based on an initial draft by Robinson, and finished posthumously by Lightstone, who himself died soon after.[16][17] It begins with an introduction to non-Archimedean fields with many helpful examples, brings in the necessary tools from mathematical logic including ultrapowers, spends two chapters describing how to do non-standard analysis using the Levi-Civita field, and finishes with three chapters on asymptotic expansions.[16]
• Mathematical Logic: An Introduction to Model Theory (Mathematical Concepts and Methods in Science and Engineering, vol. 9, Plenum Press, 1978, ISBN 0-306-30894-0). This book was published posthumously, edited by Herbert Enderton. It is organized into three parts, one on the propositional calculus, a second part on formal semantics, and a third part on applications of model theory including nonstandard analysis and set theory.[18] However, it was criticized for the slow pace of its first section and for its overall lack of mathematical rigor.[18][19]

Queen's University annually awards the Albert Harold Lightstone Scholarship, named for Lightstone, to a fourth year honors undergraduate student majoring in mathematics or statistics.[20][21] The scholarship was established by Lightstone's wife after his death.[22]