Heyting-valued interpretations for constructive set theory (Q2575769): Difference between revisions

@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944846
@@ Property / cites work: Q4944846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736386
@@ Property / cites work: Q4736386 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and a uniform presentation of sup-lattices, quantales and frames
+Normal rank
@@ Property / cites work @@
+Q4146730
@@ Property / cites work: Q4146730 / rank @@
+Normal rank
@@ Property / cites work @@
+La logique des topos
@@ Property / cites work: La logique des topos / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic choice and classical logic
@@ Property / cites work: Intuitionistic choice and classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622162
@@ Property / cites work: Q5622162 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3863865
@@ Property / cites work: Q3863865 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
+Normal rank
@@ Property / cites work @@
+Q5718563
@@ Property / cites work: Q5718563 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing in intuitionistic systems without power-set
+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 @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+The point of pointless topology
@@ Property / cites work: The point of pointless topology / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Galois theory of Grothendieck
@@ Property / cites work: An extension of the Galois theory of Grothendieck / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+Inaccessibility in constructive set theory and type theory
+Normal rank
@@ Property / cites work @@
+Q3015560
@@ Property / cites work: Q3015560 / 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 @@
+Q3912576
@@ Property / cites work: Q3912576 / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Q3955404
@@ Property / cites work: Q3955404 / rank @@
+Normal rank