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

@@ Property / author @@
+Andrew M. Pitts
@@ Property / author: Andrew M. Pitts / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-4049(83)90047-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2078108932
@@ Property / OpenAlex ID: W2078108932 / rank @@
+Normal rank
@@ 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