2025/08/29 by Nicola Bonatti · 1 voice · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory
paper · doi:10.1093/philmat/nkaf020
Abstract Extremal axioms impose a condition of either minimality or maximality on the admissible models of an axiomatic theory. In this paper, I propose an alternative formulation of arithmetic and real analysis based on extremal axioms. Once properly formulated, the second-order extremal axiom restricts the quantifiers of the theory to the minimal or maximal domain of discourse. It is proved that extremal axioms are logically equivalent to standard assumptions of, respectively, second-order Induction and Archimedean Completeness. Finally, I distinguish between internalist and externalist accounts of mathematical structures as characterized by extremal axioms and their corresponding axiomatic theories.