Skip to main content
17 events
when toggle format what by license comment
Sep 19, 2014 at 19:15 vote accept Conifold
Sep 19, 2014 at 19:15 history edited Conifold
edited tags
Sep 17, 2014 at 22:19 comment added Will Jagy Conifold, new answer from Marvin Greenberg.
Sep 17, 2014 at 21:31 answer added Marvin Greenberg timeline score: 12
Sep 17, 2014 at 17:44 history edited Conifold
edited tags
Sep 16, 2014 at 20:16 history edited Conifold
edited tags
Sep 15, 2014 at 20:47 history edited Conifold CC BY-SA 3.0
edited body
Sep 15, 2014 at 19:30 history edited Conifold CC BY-SA 3.0
edited body
Sep 15, 2014 at 17:51 history edited Conifold CC BY-SA 3.0
edited body
Sep 15, 2014 at 17:50 answer added Conifold timeline score: 7
Sep 11, 2014 at 22:05 comment added Conifold @Will Jagy I read this paper when you linked it under your previous answer (thanks!), but for semi-elliptic plane it references an Appendix to Greenberg's book, of which the paper I linked is an expanded version, and Pejas's papers in German. I am still interested in lengths constructible by elementary means, which I realized is not the same as by ruler and compass w/o the line-circle axiom, and now I am not even sure that Euclidean or hyperbolic metric relations have to be satisfied!
Sep 11, 2014 at 21:30 history edited Conifold CC BY-SA 3.0
edited title
Sep 11, 2014 at 21:17 comment added Conifold @Anton Petrunin Not quite. You can perform ruler and compass constructions as long as you do not rely on every line passing through interior of a circle intersecting the circle. Bolyai's construction and many others that Will Jagy uses in the Squaring paper for example rely on this, Greenberg calls it the line-circle axiom. It can not be proved without continuity, and it does not hold in the semi-elliptic plane.
Sep 11, 2014 at 19:35 comment added Will Jagy for that matter, Marvin won a prize for this recent survey, which shows a fair amount of extra stuff that was added for his fourth edition , typing link again: maa.org/programs/maa-awards/writing-awards/… see if it works this time. Yup, good link.
Sep 11, 2014 at 19:17 comment added Will Jagy Conifold, you might want to try Hartshorne's book on this as well.
Sep 11, 2014 at 19:01 comment added Anton Petrunin Do I understand correctly that $({*})$ in Archimedean H-plane you can perform all ruler-and-compass construction? If yes then Bolyai's construction (mathoverflow.net/questions/45237) gives an other parallel line. This will do the job if the completion of your H-plane is Lobachevskian. So if $({*})$ is correct then the answer is "NO".
Sep 11, 2014 at 18:32 history asked Conifold CC BY-SA 3.0