On Constructive Fields

DOI10.1112/plms/s3-23.4.753zbMath0238.02029OpenAlexW2068908681MaRDI QIDQ5648345

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)

Related Items (7)

Unnamed Item ⋮ The Hahn-Banach theorem in a category of sheaves ⋮ Axioms for constructive fields ⋮ A globalization of the Hahn-Banach theorem ⋮ Generalized real numbers in constructive mathematics ⋮ 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