Nuprl Definition : r2-eu
EuclideanPlane(ℝ^2) ==
primitive=r2-eu-prim()
Ssquashstable=TERMOF{sq_stable-dist-rless:o, 1:l} 2
Lorsquashstable=TERMOF{sq_stable__r2-left-or:o, 1:l}
SepOr=TERMOF{r2-sep-or:o, 1:l}
nontriv=TERMOF{r2-nontrivial:o, 1:l}
SS=TERMOF{r2-plane-separation:o, 1:l}
SC=TERMOF{r2-straightedge-compass-simple:o, 1:l}
CC=TERMOF{r2-compass-compass-simple:o, 1:l}
Definitions occuring in Statement :
r2-eu-prim: r2-eu-prim(),
mk-eu: mk-eu,
apply: f a,
natural_number: $n
FDL editor aliases :
r2-eu
Latex:
EuclideanPlane(\mBbbR{}\^{}2) ==
primitive=r2-eu-prim()
Ssquashstable=TERMOF\{sq\_stable-dist-rless:o, 1:l\} 2
Lorsquashstable=TERMOF\{sq\_stable\_\_r2-left-or:o, 1:l\}
SepOr=TERMOF\{r2-sep-or:o, 1:l\}
nontriv=TERMOF\{r2-nontrivial:o, 1:l\}
SS=TERMOF\{r2-plane-separation:o, 1:l\}
SC=TERMOF\{r2-straightedge-compass-simple:o, 1:l\}
CC=TERMOF\{r2-compass-compass-simple:o, 1:l\}
Date html generated:
2020_05_20-PM-01_10_31
Last ObjectModification:
2020_02_07-PM-04_06_38
Theory : reals!model!euclidean!geometry
Home
Index