Axiom talk:Pasch's Axiom (Tarski's Axioms)

From ProofWiki
Jump to navigation Jump to search

Does "Tarski's Pasch Axiom" give perhaps undue credit to Tarski? Is there a name that connotes that this is really Pasch's axiom, Tarski just translated it into his language? --GFauxPas 09:24, 24 January 2012 (EST)

Of course, right after I said I'd try to stop rushing, and I made sure to be very careful in proofreading the body of the page, I forgot to proofread the title to make sure it begins with Axiom:. d'oh! --GFauxPas 09:30, 24 January 2012 (EST)

I'd call this 'Pasch Axiom (Tarski's Geometry)' and the other one something else that disambiguates it. Then make a disambiguation page. --Lord_Farin 09:55, 24 January 2012 (EST)
That sounds good to me. This whole area of Tarski Geometry looks exactly what ProofWiki was set up to do in the first place. I'm loving it. Not contributing too much for a few days, Neal Stephenson has provided me with a new 1000-page novel to read and I'm having trouble tearing myself away. --prime mover 11:02, 24 January 2012 (EST)
What book? --GFauxPas 11:59, 24 January 2012 (EST)
GIYF. --prime mover 07:47, 26 January 2012 (EST)

Oh...Givant's book is assuming the diagram has $\mathsf{B}apc$, but I guess something went wrong in my pdf reader. Or maybe he was just sloppy. I'll have to make my own. --GFauxPas 07:22, 26 January 2012 (EST)