Borja Sierra Miranda
Publications
Talks

Borja Sierra Miranda

Borja Sierra Miranda

he/him

PhD Candidate at the Computer Science Institute of the University of Bern

Switzerland
University of Bern
borja[dot]sierra[at]unibe[dot]ch
arXiv
Google Scholar
ORCID
GitHub

Modern Tools for Arithmetical Completeness: Provability Models and Proofs

Date: September 25, 2026

Abstract available here.

Share on

Bluesky Facebook LinkedIn Mastodon X (formerly Twitter)

Follow:
GitHub
Feed

© 2026 Borja Sierra Miranda, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-10-05, Sitemap