Equality and equivalence, intuitionistically

DOI10.1007/978-3-030-53654-1_1zbMath1498.03025arXiv1911.09477OpenAlexW3213125812MaRDI QIDQ2658274

Wim Veldman

Publication date: 19 March 2021

Full work available at URL: https://arxiv.org/abs/1911.09477

zbMATH Keywords

apartnessBrouwer's continuity principledecidable point of a spreadperhapsive extensionstoy spread

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Cites Work

• Some observations on intuitionistically elementary properties of linear orderings
• Constructivism in mathematics. An introduction. Volume II
• Two simple sets that are not positively Borel
• Some elementary results in intuitionistic model theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equality and equivalence, intuitionistically