Frank M. V. Feys

Mathematician. Logician. Antwerp, Belgium.

Mundus vult decipi, ergo decipiatur.

About

I work in finance: algorithmic trading, market making research.
The mathematical research below is independent, written alone and on my own time, outside any institutional affiliation. My corpus develops the axiomatic method across mathematical finance, actuarial science, game theory, social choice, machine learning theory, and combinatorics.
I work on everything I find interesting, following no agenda but my own. The results below are working papers, complete and compiled, developed over the past seven years.

On the apparatus

The method I work in has one deep axiom: label-symmetry. It is the mathematical statement of fairness. It says that the names of the objects, that is, who the voter is, who the player is, who the author is, must not determine the outcome. Only the structure may.

The institutions that filter academic research increasingly do the opposite. They filter by name, by affiliation, by network. They violate label-symmetry at the level of their own practice. I care about the mathematics, not about famous names, not about networking, not about the apparatus that selects for them. Mathematics speaks for itself.

“I don’t listen to weakies.” Robert J. Fischer, 1962.

Papers

Foundations of the axiomatic method
  1. The Abstract Mathematics of the Axiomatic Method v1, 2026-11-04 · PDF · doi:10.5281/zenodo.23924342
  2. An Equivariance Principle for the Axiomatic Method v1, 2026-11-04 · PDF · doi:10.5281/zenodo.23924545
  3. An Axiomatic Theory of Tie-Breaking: Impossibility, Characterization, and Decomposition v1, 2026-11-04 · PDF
  4. The ANR Impossibility for Rankings as a Corollary of Abstract Tie-Breaking v1, 2026-11-04 · PDF
  5. A Fixpoint Theory of Label-Symmetric Classification v1, 2026-11-04 · PDF
Market making
  1. A Forced Uniqueness Theorem for Inventory Market Making: Axiomatic Foundations of the Avellaneda-Stoikov and Cartea-Jaimungal Frameworks v1, 2026-11-04 · PDF
  2. Axiomatic Market Making v1, 2026-11-04 · PDF
  3. Fairness and Strategy-Proofness in Automated Market Makers v1, 2026-11-04 · PDF
Cooperative game theory
  1. The Geometry of Cooperative Game Solutions: Stratified Egalitarian Shapley Values v1, 2026-11-04 · PDF
Combinatorics
  1. The Arithmetic of Chess Piece Strength on the n×n Board v1, 2026-11-04 · PDF

Education

Master of Mathematics (Honours)
KU Leuven, 2009–2011. Thesis: Hilbert's Tenth Problem and Related Topics (under Prof. Jan Denef).
Master of Logic (Honours)
University of Amsterdam, 2012–2015. Thesis: Boolean Analysis for Social Choice (under Prof. Ronald de Wolf).

Contact

Email
frank@fmvfeys.com
ORCID
0009-0000-7667-6742