On brouwer's definition of unextendable order

DOI10.1080/01445348008837007MaRDI QIDQ3666843zbMATH OpenOpenAlexWikidataFDO

Authors 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) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites work

• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• Brouwer's constructivism
• Intuitionism. An introduction
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• The theory of empirical sequences

Cited in

(1)

• Brouwer's equivalence between virtual and inextensible order

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666843)