Some/any proof theory

Develop a general theory of some/any equivalences (ideally beyond
quantification over binders); understand when (i.e., in what types
of proofs) the equivalences are necessary and when they are merely
convenient; study the logical/proof-theoretical strength of (key)
some/any proof principles.

Rene Vestergaard