Vol. 1 (2024)

• Editorial

  Leon Horsten

  3

  • PDF

  DOI: https://doi.org/10.36253/jpm-2930

Articles

• Enumerative Induction in Mathematics

  Alan Baker

  5-21

  • PDF

  DOI: https://doi.org/10.36253/jpm-2931

• Construction Theorems and Constructive Proofs in Geometry

  John B. Burgess

  23-41

  • PDF

  DOI: https://doi.org/10.36253/jpm-2932

• Definiteness in Early Set Theory

  Laura Crosilla, Øystein Linnebo

  43-62

  • PDF

  DOI: https://doi.org/10.36253/jpm-2933

• Categoricity-like Properties in the First Order Realm

  Ali Enayat, Mateusz Łełyk

  63-98

  • PDF

  DOI: https://doi.org/10.36253/jpm-2934

• Logical Constants and Unrestricted Quantification

  Volker Halbach

  99-112

  • PDF

  DOI: https://doi.org/10.36253/jpm-2935

• How the Continuum Hypothesis could have been a Fundamental Axiom

  Joel David Hamkins

  113-126

  • PDF

  DOI: https://doi.org/10.36253/jpm-2936

• Aristotle meets Frege: from Potentialism to Frege Arithmetic

  Stewart Shapiro

  127-153

  • PDF

  DOI: https://doi.org/10.36253/jpm-2937

• Why be a Height Potentialist?

  Zeynep Soysal

  155-175

  • PDF

  DOI: https://doi.org/10.36253/jpm-2938

• On the Limits of Comparing Subset Sizes within N

  Sylvia Wenmackers

  177-199

  • PDF

  DOI: https://doi.org/10.36253/jpm-2939