DOI10.1002/malq.201010020zbMath1247.03124MaRDI QIDQ3170564
Milena Stefanova, Silvio Valentini
Publication date: 27 September 2011 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.201010020
zbMATH Keywords
inductively generated formal topology; spatiality theorem
Mathematics Subject Classification ID
03B10: Classical first-order logic
03F50: Metamathematics of constructive systems
Cites Work