Abstract
This chapter explains algebraic number fields and its discreteness, factoring polynomials, valuation theory, unit theorem, and finiteness of class group and their proofs. Number theory is a good test for constructive mathematics as it applies to both discrete and continuous constructions; the constructive development brings to light constructive difficulties that were not at all apparent. The ability to decide whether a polynomial is irreducible or it has a nonconstant factor is used repeatedly in classical expositions of algebraic number theory. The algebraic number theory appears prima facie constructive, and it is common for authors to give routines for the construction of the objects that occur in the subject. The chapter describes the early work by some of the researchers who gave a systematic constructive exposition of the algebraic number fields. However, the development using recursive function theory is also there and is in progress.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Studies in Logic and the Foundations of Mathematics
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
