DOI10.1007/BF00713546zbMath0463.03035MaRDI QIDQ1153079
S. H. Smith
Publication date: 1980 Published in: Studia Logica (Search for Journal in Brave)
zbMATH Keywords
disjunction property; existential definability
Mathematics Subject Classification ID
03F65: Other constructive mathematics
03F55: Intuitionistic mathematics