2 thinkers, books, and ideas connected to this field.
American logician who has made major contributions to model theory — particularly ultraproducts and nonstandard analysis — and co-authored the standard model theory textbook.
American mathematician and Fields Medal-adjacent number theorist who joined Renaissance Technologies' early trading operation — co-founding Axcom before it became the Medallion Fund — and developed early systematic trading models.