The field of Reverse Mathematics explores the minimal axiomatic frameworks necessary to prove classical theorems, seeking to elucidate the logical foundations of mathematics. In parallel, ...
Anita is a research and teaching assistant in the School of Computer Science at Sheffield, where she is also doing a PhD under the joint supervision of Dr Charles Grellois and Dr Harsh Beohar. She ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback