Constructive complements of unions of two closed sets

被引：0

作者：

Bridges, DS ^{[1
]}

机构：

[1] Univ Canterbury, Dept Math & Stat, Christchurch 1, New Zealand

来源：

MATHEMATICAL LOGIC QUARTERLY | 2004年 / 50卷 / 03期

关键词：

constructive mathematics; intersection of closed sets; complement of closed sets;

D O I：

10.1002/malq.200410093

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

It is well known that in Bishop-style Constructive mathematics, the closure of the union of two subsets of R is 'not' the union of their closures. The dual situation, involving the complement of the closure of the union, is investigated constructively, using completeness of the ambient space in order to avoid any application of Markov's Principle. (C) 2004 WILEY VCH Verlag GmbH & Co. KGaA. Weinheim.

引用

页码：293 / 294

页数：2