On Constructive Fields

DOI10.1112/PLMS/S3-23.4.753MaRDI QIDQ5648345zbMATH OpenOpenAlexFDO

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)

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

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)