Computer Science – Logic in Computer Science
Scientific paper
2009-01-29
Computer Science
Logic in Computer Science
9 pages
Scientific paper
Let Q_0 denote the rational numbers expanded to a meadow by totalizing
inversion such that 0^{-1}=0. Q_0 can be expanded by a total sign function s
that extracts the sign of a rational number. In this paper we discuss an
extension Q_0(s ,\sqrt) of the signed rationals in which every number has a
unique square root.
Bergstra Jan Aldert
Bethke Inge
No associations
LandOfFree
Square root meadows does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Square root meadows, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Square root meadows will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-13568