 |
||||||
| Research | ||||||
|
Axiomatizations of geometries, simple, constructive axiomatizations, independence of axioms, rephrasings of characterizations of geometric transformations as definability statements, simple languages in which certain geometries can be axiomatized, reverse geometry (i.e., asking for the axioms needed to prove a certain theorem of geometry), modern history of axiomatic approach to geometries. |
||||||
Copyright © 2009 • Victor V. Pambuccian • All Rights Reserved |