collaborators

1 paper

math.LO2022

ZFC without power set II: Reflection strikes back

Victoria Gitman, Richard Matthews

The theory ZFC implies the scheme that for every cardinal we can make many dependent choices over any definable relation without terminal nodes. Friedman, the first author,…