The equivalence of Side–Angle–Side and Side–Side–Side in the absolute plane

Autor:	John Donnelly
Rok vydání:	2015
Předmět:	Mathematics::Logic General set theory Morse–Kelley set theory Axiom independence Mathematical analysis Geometry Axiom of choice Axiom of projective determinacy Geometry and Topology Kripke–Platek set theory Scott's trick Urelement Mathematics
Zdroj:	Journal of Geometry. 106:541-550
ISSN:	1420-8997 0047-2468
DOI:	10.1007/s00022-015-0264-4
Popis:	We show that if we start with an absolute plane, remove Side–Angle–Side as an axiom and replace it with Side–Side–Side as a new axiom, then the new resulting axiom system is also an absolute plane. In particular, we show that Side–Angle–Side still holds in the new axiom system.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c21501b06ebe84ba0d750888dd144566 https://doi.org/10.1007/s00022-015-0264-4 Zobrazit plný text záznamu Full text from SpringerLink