On Constructive Fields

DOI10.1112/PLMS/S3-23.4.753zbMATH Open0238.02029OpenAlexW2068908681MaRDI QIDQ5648345FDOQ5648345

Authors: John Staples 

Publication date: 1971

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/s3-23.4.753

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to linear algebra (15-00)

Cited In (7)

• Title not available (Why is that?)
• A globalization of the Hahn-Banach theorem
• Axioms for constructive fields
• Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
• Valuation theory: A constructive view
• Generalized real numbers in constructive mathematics
• The Hahn-Banach theorem in a category of sheaves

This page was built for publication: On Constructive Fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5648345)