Generalized geometric theories and set-generated classes (Q5740664): Difference between revisions

@@ Property / cites work @@
+Maximal and partial points in formal spaces
@@ Property / cites work: Maximal and partial points in formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Quotient topologies in constructive set theory and type theory
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological inductive definitions
@@ Property / cites work: Topological inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+A predicative completion of a uniform space
@@ Property / cites work: A predicative completion of a uniform space / rank @@
+Normal rank
@@ Property / cites work @@
+On constructing completions
@@ Property / cites work: On constructing completions / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation Reflection Scheme
@@ Property / cites work: The Relation Reflection Scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Non-deterministic inductive definitions
@@ Property / cites work: Non-deterministic inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank