✦ LIBER ✦

Rings and Fields, a Constructive View

✍ Scribed by Daniel A. Romano

Publisher: John Wiley and Sons
Year: 1988
Tongue: English
Weight: 708 KB
Volume: 34
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19880340105

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Henselian valued fields: a constructive

Henselian valued fields: a constructive point of view

✍ Hervé Perdry 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB

This article is a logical continuation of the Henri Lombardi and Franz-Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we s

A constructive view of PROLOG

✍ Damjan Bojadziev 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 442 KB

A constructive rationalization of PROLOG is presented, covering the logical form of definite clause programs and the role of negative (goal) clauses. This view is developed from the idea, taken from set theory, that a constructive theory can be obtained if classical reasoning is confined to a constr

Apartness, Topology, and Uniformity: a C

Apartness, Topology, and Uniformity: a Constructive View

✍ Douglas Bridges; Peter Schuster; Luminiţa Vîţă 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB

The theory of apartness spaces, and their relation to topological spaces (in the point-set case) and uniform spaces (in the set-set case), is sketched. New notions of local decomposability and regularity are investigated, and the latter is used to produce an example of a classically metrisable apart

Projective modules over polynomial rings

Projective modules over polynomial rings: a constructive approach

✍ S. Barhoumi; H. Lombardi; I. Yengui 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

## Abstract We give a constructive proof of the fact that finitely generated projective modules over a polynomial ring with coefficients in a Prüfer domain **R** with Krull dimension ≤ 1 are extended from **R**. In particular, we obtain constructively that finitely generated projective **R**[__X__~

Construction of restricted field of view

Construction of restricted field of view holographic screens

✍ Daniel S.F. Magalhães; José J. Lunazzi; Rolando L. Serra 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 692 KB

Lazy bases: a minimalist constructive th

Lazy bases: a minimalist constructive theory of Noetherian rings

✍ Hervé Perdry 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non‐discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring __R__ with certif