2 papers
math.LO2026
A Foundation for the Core Mathematician
David Mumford, Sy-David Friedman
The foundations of mathematics have long been considered settled by the Zermelo-Fraenkel-Choice axioms. But set theory abounds in models with different truths and even classical qu…
math.LO2015
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
Sy David Friedman, Mohammad Golshani
Starting from large cardinals we construct a pair of models of with the same cardinals and cofinalities such that holds in and fails everywhere…