Spatiality and classical logic

被引：1
|
作者：
Stefanova, Milena [2 ]
Valentini, Silvio [1 ]
机构：
[1] Univ Padua, Dipartimento Matemat Pura & Applicata, Padua, Italy
[2] Agenzia Nazl Nuove Tecnol Energia & Sviluppo Econ, Tech Unit Environm Assessment Models Methods & Te, Bologna, Italy
来源：
MATHEMATICAL LOGIC QUARTERLY | 2011年 / 57卷 / 04期
关键词：
Inductively generated formal topology; spatiality theorem; FORMAL TOPOLOGIES;
D O I：
10.1002/malq.201010020
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this short note we show that any proof of a general spatiality theorem for inductively generated formal topologies requires full classical logic. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
引用
收藏
页码：432 / 440
页数：9
相关论文
共 50 条
12345