Straightedge and compass constructions only use Euclid's first three axioms (that is "a line connects two points," "a line can be extended forever," and "a circle is defined by its center and radius").
As the parallel postulate is not used here, does that tell us that anything we can construct holds in absolute geometry as well?
Some simple examples:
- We can bisect any angle
- We can construct equilateral triangles
- We can construct a perpendicular bisector to a line segment
It makes sense that all three of these things would work in absolute geometry.
That said, I can also easily build a square (equal sides and right angles) using a straightedge and compass as well, but squares don't exist hyperbolic geometry (because I can't have a quadrilateral with four right angles). What am I missing here?