1

On the (in)dependence of the Dedekind-Peano axioms for natural numbers

Game Characterizations and Lower Cones in the Weihrauch Degrees

Towards Computable Analysis on the Generalised Real Line

Game characterizations and Weihrauch degrees

A partial characterization by forbidden subgraphs of edge path graphs