Rings and Fields, a Constructive View

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):25-40 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340105

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Mathematical Logic Quarterly 34 (1):25-40.
A theorem on cocongruence of rings.Daniel A. Romano - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):87-88.
On Algebraic Geometry Over Rings with Exponentiation.Kenneth Manders - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):289-292.
Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (1):57-70.
Constructive Well-Orderings.Robin J. Grayson - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):495-504.
How to Eliminate Quantifiers in the Elementary Theory ofp-Rings.Burkhard Molzan - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):83-92.
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.
Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):371-384.
A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):63-64.
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):433-435.

Analytics

Added to PP
2015-12-02

Downloads
31 (#503,221)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Functional Analysis.D. S. Bridges & Peter Zahn - 1982 - Journal of Symbolic Logic 47 (3):703-705.

Add more references