Brouwer's equivalence between virtual and inextensible order

DOI10.1080/01445348808837125zbMath0649.01028OpenAlexW4250156797WikidataQ58343458 ScholiaQ58343458MaRDI QIDQ3794139

Enrico Martino

Publication date: 1988

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348808837125

zbMATH Keywords

intuitionismvirtual orderinextensible order

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (1)

The creating subject, the Brouwer-Kripke schema, and infinite proofs

Cites Work

• On brouwer's definition of unextendable order

This page was built for publication: Brouwer's equivalence between virtual and inextensible order