
Tarskis_Geometry
 Referenced in 2 articles [sw32215]
 formalized and, using the standard real Cartesian model, shown to be consistent. A substantial theory ... developed. Building on this theory, the KleinBeltrami model of the hyperbolic plane is defined...