Square root meadows

Simple item page
dc.creatorBergstra, Jan A.
dc.creatorBethke, I.
dc.date2009-01-29
dc.date.accessioned2026-07-07T12:35:36Z
dc.date.available2026-07-07T12:35:36Z
dc.descriptionLet 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.
dc.description9 pages
dc.identifierhttps://arxiv.org/abs/0901.4664
dc.identifierhttp://arxiv.org/abs/0901.4664
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/217817
dc.subjectLogic in Computer Science
dc.titleSquare root meadows
dc.typetext

Files

Collections

arXiv