Axioms for constructive fields

DOI10.1017/S0004972700042477zbMath0253.02028OpenAlexW2116729282WikidataQ114655073 ScholiaQ114655073MaRDI QIDQ5666529

John Staples

Publication date: 1973

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700042477

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Real and complex fields (12D99) Proof theory and constructive mathematics (03F99)

Cites Work

• On Constructive Fields
• Unnamed Item

This page was built for publication: Axioms for constructive fields