On brouwer's definition of unextendable order

DOI10.1080/01445348008837007zbMATH Open0518.03024OpenAlexW2060450632WikidataQ58349925 ScholiaQ58349925MaRDI QIDQ3666843FDOQ3666843

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

• Intuitionism. An introduction
• Brouwer's constructivism
• Title not available (Why is that?)
• 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)