References & Citations
Mathematics > Logic
Title: A Sheaf Model of the Algebraic Closure
(Submitted on 17 Apr 2014 (v1), last revised 11 Sep 2014 (this version, v4))
Abstract: In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure of K. We give a possible constructive interpretation of the existence of the algebraic closure of a field in characteristic 0 by building, in a constructive metatheory, a suitable site model where there is such an algebraic closure. One can then extract computational content from this model. We give examples of computation based on this model.
Submission history
From: EPTCS [view email][v1] Thu, 17 Apr 2014 14:59:23 GMT (21kb)
[v2] Fri, 18 Apr 2014 11:52:51 GMT (21kb)
[v3] Thu, 1 May 2014 15:25:36 GMT (29kb)
[v4] Thu, 11 Sep 2014 03:46:43 GMT (143kb,D)
Link back to: arXiv, form interface, contact.