A transfer principle for second-order arithmetic, and applications

Merlin Carl, Asgar Jamneshan

In the theory of conditional sets, many classical theorems from areas such as functional analysis, probability theory or measure theory are lifted to a conditional framework, often…