The generalised type-theoretic interpretation of constructive set theory (Q5477624): Difference between revisions

@@ Property / cites work @@
+Independence results around constructive ZF
@@ Property / cites work: Independence results around constructive ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as [Types]
@@ Property / cites work: Propositions as [Types] / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular extension axiom and its variants
@@ Property / cites work: On the regular extension axiom and its variants / rank @@
+Normal rank
@@ Property / cites work @@
+Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+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 @@
+Heyting-valued interpretations for constructive set theory
+Normal rank
@@ Property / cites work @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank