A Minimalist Foundation at Work (Q2909749): Difference between revisions

@@ Property / cites work @@
+Pretopologies and a uniform presentation of sup-lattices, quantales and frames
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604461
@@ Property / cites work: Q5604461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive investigation of satisfiability
@@ Property / cites work: A constructive investigation of satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming interfaces and basic topology
@@ Property / cites work: Programming interfaces and basic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944857
@@ Property / cites work: Q4944857 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular correspondence between dependent type theories and categories including pretopoi and topoi
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and completeness proofs
@@ Property / cites work: Pretopologies and completeness proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428708
@@ Property / cites work: Q4428708 / 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 @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank