This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Pac non peano
Something being written that these references are for: a paper, a thesis, a course.
Sources for a project on arithmetic without Peano's axioms: Grassmann's 1861 Lehrbuch which preceded them, commentary on Peano and his school rather than his own papers, the consistency literature, and the parallel-postulate and non-Euclidean writings as the older case of doing without an axiom. Membership is by citation, so a work here is one the project uses and not necessarily one it agrees with.
20 references
Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic
William D. Brewer (2022) · Kurt Gödel: The Genius of Metamathematics · Springer
Giuseppe Peano and his school: Axiomatics, symbolism and rigor
Paola Cantù and others (2021) · Philosophia Scientiae · Éditions Kimé
The Consistency of Arithmetic
Robert K. Meyer (2021) · The Australasian Journal of Logic · Victoria University of Wellington Library
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer · Springer
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery
Non-wellfounded Set Theory
Lawrence S. Moss (2018) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
Constructive geometry and the parallel postulate
Michael Beeson (2016) · Bulletin of Symbolic Logic
Non-monotonic set theory as a pragmatic foundation of mathematics
Peter Verdée (2013) · Foundations of science
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic · Springer
Peano Arithmetic
Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)
First-Order Proof Theory of Arithmetic
Samuel R. Buss (1998) · Handbook of Proof Theory · Elsevier
A Survey of Modern Algebra
Garrett Birkhoff and others (1977) · Macmillan
Model existence theorems for modal and intuitionistic logics
Melvin Fitting (1973) · The Journal of Symbolic Logic · Cambridge University Press
Foundations of set theory
Abraham Adolf Fraenkel and others (1973) · Elsevier
The mathematical philosophy of Giuseppe Peano
Hubert C. Kennedy (1963) · Philosophy of Science
The axiomatization of arithmetic
Hao Wang (1957) · The Journal of Symbolic Logic
A new decision method for elementary algebra
Abraham Seidenberg (1954) · Annals of Mathematics
History of the parallel postulate
Florence P. Lewis (1920) · The American Mathematical Monthly
Non-Euclidean Geometry
George Bruce Halsted (1900) · The American Mathematical Monthly
Lehrbuch der Arithmetik für höhere Lehranstalten
Hermann Grassmann (1861) · Th. Chr. Fr. Enslin