Formal spaces and their effective presentations (Q1902337): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3910522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5737081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3322099 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective procedures in field theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3942026 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3690803 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computable Algebra, General Theory and Theory of Computable Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representability of locally compact regular spaces by domains and formal spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023580 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4934287 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:17, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal spaces and their effective presentations |
scientific article |
Statements
Formal spaces and their effective presentations (English)
0 references
14 December 1995
0 references
We investigate to what extent the theory of formal spaces can be used as a general framework for studying effective structures. Thus we examine and develop the theory from an effective point of view. The fundamental concept of the paper is that of a presentation of a formal space in terms of a pre-neighbourhood system \(P\) and generators for a covering relation on \(P\). The covering relation gives rise to an equivalence relation on the subsets of \(P\). The equivalence classes form a frame and every frame is obtained in this way. The main interest is to study effectivity in formal spaces. The concrete objects of a formal space are its pre-neighbourhoods. We say that a frame is effective if it has a presentation in terms of a semicomputable pre- neighbourhood system. We define the notion of a presentation of a formal space, and carefully examine the theory of formal spaces, to see how much of it can be expressed in terms of presentations. Then we define and study the notion of an effective formal space.
0 references
formal spaces
0 references
effective structures
0 references
pre-neighbourhood system
0 references
covering relation
0 references
frame
0 references