The problem of the formalization of constructive topology (Q1765104): Difference between revisions

The paper deals with the problem of adapting the method used to inductively generate formal topologies with a unary positivity predicate to the need for considering a binary positivity predicate. Some effects of the lack of a complete formalization of the concrete topological spaces are discussed.

0 references

reviewed by

Pier Luigi Ferrari

0 references

zbMATH Keywords

constructive topology

0 references

inductive generation

0 references

positivity predicate

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00153-004-0243-1

0 references

cites work

Inductively generated formal topologies.

0 references

Q4150804

0 references

Q3688389

0 references

Tychonoff's theorem in the framework of formal topologies

0 references

Some points in formal topology.

0 references

Q4944859

0 references

Q4247310

0 references

Identifiers

zbMATH Open document ID

1060.03085

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

10.1007/S00153-004-0243-1

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1765104

@@ Property / DOI @@
-.1007/s00153-004-0243-1
@@ Property / DOI: 10.1007/s00153-004-0243-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-004-0243-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2034294362
@@ Property / OpenAlex ID: W2034294362 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Tychonoff's theorem in the framework of formal topologies
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944859
@@ Property / cites work: Q4944859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-004-0243-1
@@ Property / DOI: 10.1007/S00153-004-0243-1 / rank @@
+Normal rank