Nuprl Definition : basic-projective-plane
BasicProjectivePlane == {g:ProjectivePlaneStructure| BasicProjectiveGeometryAxioms(g)}
Definitions occuring in Statement :
projective-plane-structure: ProjectivePlaneStructure,
basic-pgeo-axioms: BasicProjectiveGeometryAxioms(g),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
projective-plane-structure: ProjectivePlaneStructure,
basic-pgeo-axioms: BasicProjectiveGeometryAxioms(g)
FDL editor aliases :
basic-proj-pl
Latex:
BasicProjectivePlane == \{g:ProjectivePlaneStructure| BasicProjectiveGeometryAxioms(g)\}
Date html generated:
2018_05_22-PM-00_33_37
Last ObjectModification:
2017_11_27-AM-09_41_34
Theory : euclidean!plane!geometry
Home
Index