Non-deterministic inductive definitions (Q1935375): Difference between revisions

@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of general topology in constructive set theory
+Normal rank
@@ Property / cites work @@
+Generalized geometric theories and set-generated classes
+Normal rank
@@ Property / cites work @@
+Non-well-founded trees in categories
@@ Property / cites work: Non-well-founded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of multiple choice and models for constructive set theory
+Normal rank
@@ Property / cites work @@
+Derived rules for predicative set theory: an application of sheaves
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and cocompleteness of the categories of basic pairs and concrete spaces
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive completions of ordered sets, groups and fields
+Normal rank
@@ Property / cites work @@
+Q5310884
@@ Property / cites work: Q5310884 / rank @@
+Normal rank
@@ 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 @@
+Characterizing the interpretation of set theory in Martin-Löf type theory
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Real and Ideal in Constructive Mathematics
@@ Property / cites work: Real and Ideal in Constructive Mathematics / rank @@
+Normal rank