Vol. 1 (2024)

View Vol. 1 (2024)
Published: 2024-09-10

Full Issue

  • Editorial

    Leon Horsten
    3
    DOI: https://doi.org/10.36253/jpm-2930

Articles

  • Enumerative Induction in Mathematics

    Alan Baker
    5-21
    DOI: https://doi.org/10.36253/jpm-2931

  • Construction Theorems and Constructive Proofs in Geometry

    John B. Burgess
    23-41
    DOI: https://doi.org/10.36253/jpm-2932

  • Definiteness in Early Set Theory

    Laura Crosilla, Øystein Linnebo
    43-62
    DOI: https://doi.org/10.36253/jpm-2933

  • Categoricity-like Properties in the First Order Realm

    Ali Enayat, Mateusz Łełyk
    63-98
    DOI: https://doi.org/10.36253/jpm-2934

  • Logical Constants and Unrestricted Quantification

    Volker Halbach
    99-112
    DOI: https://doi.org/10.36253/jpm-2935

  • How the Continuum Hypothesis could have been a Fundamental Axiom

    Joel David Hamkins
    113-126
    DOI: https://doi.org/10.36253/jpm-2936

  • Aristotle meets Frege: from Potentialism to Frege Arithmetic

    Stewart Shapiro
    127-153
    DOI: https://doi.org/10.36253/jpm-2937

  • Why be a Height Potentialist?

    Zeynep Soysal
    155-175
    DOI: https://doi.org/10.36253/jpm-2938

  • On the Limits of Comparing Subset Sizes within N

    Sylvia Wenmackers
    177-199
    DOI: https://doi.org/10.36253/jpm-2939