arXiv Open Access 2010

Subspaces of an arithmetic universe via type theory

Maria Emilia Maietti

Lihat Sumber

Abstrak

We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.

math.LO

Maria Emilia Maietti

APA MLA BibTeX

Maietti, M.E. (2010). Subspaces of an arithmetic universe via type theory. https://arxiv.org/abs/1011.1226

Lihat di Sumber

Informasi Jurnal