Subspaces of an arithmetic universe via type theory

Details Subspaces of an arithmetic universe via type theory Subspaces of an arithmetic universe via type theory

2010-11-16

arxiv.org/abs/1011.3607v1

Mathematics

Logic

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Subspaces of an arithmetic universe via type theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Subspaces of an arithmetic universe via type theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Subspaces of an arithmetic universe via type theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-463831