Surveyable sets

DOI10.1016/J.INDAG.2017.11.006zbMath1437.03042OpenAlexW4205419668MaRDI QIDQ1788328

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

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

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Surveyable sets