Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
What are Extremal Axioms?
View through CrossRef
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.
Title: What are Extremal Axioms?
Description:
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.
Related Results
Domaines extrémaux pour la première valeur propre de l’opérateur de Laplace-Beltrami
Domaines extrémaux pour la première valeur propre de l’opérateur de Laplace-Beltrami
Domaines extrémaux pour la première valeur propre de l’opérateur de Laplace-Beltrami
Dans tout ce qui suit, nous considérons une variété riemannienne compacte de di...
A New SEPARATION AXIOM ii-T_(1/4)
A New SEPARATION AXIOM ii-T_(1/4)
This research aims to continue the investigation of ii-T_(1/4) spaces, specifically their behavior when producing products. As a result, we may easily design non-ii-T_(1/4)spaces a...
Correlation between the principle of justice and legal axioms
Correlation between the principle of justice and legal axioms
The objects of this research are the principle of justice as a universal fundamental, cornerstone and key cohesive general legal superprinciple and the legal axioms as transmitters...
Near-Extremal Type I Self-Dual Codes with Minimal Shadow over GF(2) and GF(4)
Near-Extremal Type I Self-Dual Codes with Minimal Shadow over GF(2) and GF(4)
Binary self-dual codes and additive self-dual codes over GF(4) contain common points. Both have Type I codes and Type II codes, as well as shadow codes. In this paper, we provide a...
Some properties of the extremal function for the Fuglede p-modulus
Some properties of the extremal function for the Fuglede p-modulus
AbstractWe deal with the Fuglede p-modulus of a system of measures, focusing on three aspects. First, we combine results concerning Badger’s criterion for the extremal function, i....
Search Optimization Opportunities of Modified Self-Organizing Migrating Algorithm in Multi-Extremal Tasks Environment
Search Optimization Opportunities of Modified Self-Organizing Migrating Algorithm in Multi-Extremal Tasks Environment
The paper studies the search optimization task of multi-extremal objects, which are more complicated than mono-extremal. Paper postulates that to find extreme suitable values on co...
The Incompleteness of Peano Arithmetic with Exponentiation
The Incompleteness of Peano Arithmetic with Exponentiation
We shall now turn to a formal axiom system which we call Peano Arithmetic with Exponentiation and which we abbreviate “P.E.”. We take certain correct formulas which we call axioms ...
Measurement Without Archimedean Axioms
Measurement Without Archimedean Axioms
Axiomatizations of measurement systems usually require an axiom—called an Archimedean axiom—that allows quantities to be compared. This type of axiom has a different form from the ...