Veblen axioms for projective geometry

E255568

The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.

All labels observed (3)

How this entity was disambiguated

Statements (44)

Predicate Object
instanceOf axiom system ⓘ
foundational system in projective geometry ⓘ
incidence axiom system ⓘ
aimsAt coordinate-free description of projective geometry ⓘ
assumes Veblen–Young axiom (Veblen axiom of projective geometry) ⓘ
existence of at least two distinct points on every line ⓘ
for any two distinct points there is a unique line incident with both ⓘ
basedOn incidence relations between points and lines ⓘ
characterizes abstract projective spaces ⓘ
compatibleWith projective spaces over division rings ⓘ
projective spaces over fields ⓘ
vector-space-based models of projective spaces ⓘ
concerns incidence structure of projective planes and higher-dimensional projective spaces ⓘ
context axiomatic method in geometry ⓘ
foundations of mathematics ⓘ
ensures existence of non-degenerate projective configurations ⓘ
transitivity properties of incidence in projective geometry ⓘ
field incidence geometry ⓘ
projective geometry ⓘ
focusesOn incidence of points and lines ⓘ
lines ⓘ
points ⓘ
formalizes projective space as an incidence structure ⓘ
hasPart Veblen incidence axiom ⓘ
axioms about existence of points and lines ⓘ
axioms about uniqueness of joining line for two points ⓘ
implies Pasch-type incidence properties in projective settings ⓘ
influenced later axiomatizations of geometry ⓘ
introducedBy Oswald Veblen ⓘ
language first-order language with point and line predicates ⓘ
logicalType first-order axiom system ⓘ
modelledBy classical real projective space ⓘ
complex projective space ⓘ
projective spaces over fields of dimension at least two ⓘ
namedAfter Oswald Veblen ⓘ
purpose to formalize projective spaces ⓘ
relatedTo Hilbert axioms for geometry ⓘ
Veblen–Young axioms for projective geometry ⓘ
incidence axioms for projective planes ⓘ
usedFor axiomatic development of projective geometry ⓘ
defining projective spaces independently of coordinates ⓘ
studying incidence structures ⓘ
usedIn modern treatments of incidence geometry ⓘ
textbooks on axiomatic projective geometry ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Oswald Veblen → notableWork → Veblen axioms for projective geometry ⓘ
Veblen axioms for projective geometry → assumes → Veblen–Young axiom (Veblen axiom of projective geometry) ⓘ
linked to: Veblen axioms for projective geometry
Veblen axioms for projective geometry → relatedTo → Veblen–Young axioms for projective geometry ⓘ
linked to: Veblen axioms for projective geometry