Surveyable sets

DOI10.1016/J.INDAG.2017.11.006MaRDI QIDQ1788328zbMATH OpenOpenAlexFDO

Authors Andreas Blass

Publication date 8 October 2018

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.indag.2017.11.006

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Publication:5749278
• Publication:3489978
• About the coexistence of “classical sets” with “non-classical” ones: A survey
• Exhaustible sets in higher-type computation
• scientific article; zbMATH DE number 3950520

Cites work

• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3467030 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
• Sheaves in geometry and logic: a first introduction to topos theory

This page was built for publication: Surveyable sets

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