The name solid as primitive in projective geometry

DOI10.1305/NDJFL/1093894627zbMath0228.02040OpenAlexW1999601833MaRDI QIDQ2549693

Theodore F. Sullivan

Publication date: 1972

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093894627

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General theory of linear incidence geometry and projective geometries (51A05)

Related Items (2)

Leśniewski's \textit{characteristica universalis} ⋮ A survey of Lesniewski's logic

This page was built for publication: The name solid as primitive in projective geometry