On brouwer's definition of unextendable order

DOI10.1080/01445348008837007zbMath0518.03024OpenAlexW2060450632WikidataQ58349925 ScholiaQ58349925MaRDI QIDQ3666843

Carl J. Posy

Publication date: 1980

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

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

zbMATH Keywords

unextendable ordervirtual order

Mathematics Subject Classification ID

Partial orders, general (06A06) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (1)

Brouwer's equivalence between virtual and inextensible order

Cites Work

• Unnamed Item
• Intuitionism. An introduction
• Brouwer's constructivism
• The theory of empirical sequences
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY

This page was built for publication: On brouwer's definition of unextendable order