Compactness in constructive analysis revisited (Q1100202): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3910522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Discussion on: ``An optimal control approach for hybrid systems'' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Type 2 recursion theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representations of the real numbers and of the open subsets of the set of real numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751553 / rank | |||
Normal rank |
Latest revision as of 16:23, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Compactness in constructive analysis revisited |
scientific article |
Statements
Compactness in constructive analysis revisited (English)
0 references
1987
0 references
This paper, which follows other papers of the same authors, deals with constructive compactness. Representations of closed and compact subset of \({\mathbb{R}}\) are introduced and two different versions of the Heine-Borel theorem are proved. It is pointed out the fundamental role of topology in constructive analysis, and in particular of discontinuity as the main reason for nonconstructivity.
0 references
constructive compactness
0 references
Heine-Borel theorem
0 references
topology
0 references
constructive analysis
0 references
discontinuity
0 references