A short investigation into the nature of Theories

Euclid's Elements Playlist

Tractatus Logico-Philosophicus Playlist

A short abstract of our proof the R.H. stands

A proof run-through

A proof run-through

Presentation: Computability and Reverse Mathematics





Presentation: Reverse Mathematics, Computability and Effective Algebra

Combinatorial Epidemiology




Remarks on Epidemic Spread

@report{bura2013, title={Reverse mathematics of divisibility in integral domains}, author={Bura, Valentin B}, year={2013}, publisher={Victoria University of Wellington} }

@article{bura2018, title={The Polynomial Hierarchy Collapses}, author={Bura, Valentin}, journal={arXiv preprint arXiv:1808.02821}, year={2018} }

@article{bura2023, title={Graph Isomorphism is in P}, author={Bura, Valentin}, url={https://www.researchgate.net/publication/371912062_Graph_Isomorphism_is_in_P}, year={2023} }

@report{bura2019, title={On the expressive strength of deterministic, probabilistic, and timed phenomena}, author={Bura, Valentin}, year={2019}, school={University of Western Australia} }

@report{bura2020, title={On Sum of Divisors and Robin's Theorem}, author={Bura, Valentin}, doi={RG.2.2.13589.55523}, url = {https://www.researchgate.net/publication/348361907_On_Sum_of_Divisors_and_Robin%27s_Theorem} }