An application of open maps to categorical logic (Q1055409): Difference between revisions

@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed categories and their applications
@@ Property / cites work: Indexed categories and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Open maps of toposes
@@ Property / cites work: Open maps of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3901650
@@ Property / cites work: Q3901650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043147
@@ Property / cites work: Q3043147 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for intuitionistic and modal logic in a categorical setting
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in the category of Heyting algebras
+Normal rank