From types to sets (Q1140642): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0001-8708(80)90013-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2083682852
@@ Property / OpenAlex ID: W2083682852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5670775
@@ Property / cites work: Q5670775 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5664068
@@ Property / cites work: Q5664068 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional completeness of cartesian categories
@@ Property / cites work: Functional completeness of cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
+Normal rank
@@ Property / cites work @@
+Are Variables Necessary in Calculus
@@ Property / cites work: Are Variables Necessary in Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean topoi and the theory of sets
@@ Property / cites work: Boolean topoi and the theory of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117991
@@ Property / cites work: Q4117991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137323
@@ Property / cites work: Q4137323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655524
@@ Property / cites work: Q5655524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4106720
@@ Property / cites work: Q4106720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4106721
@@ Property / cites work: Q4106721 / rank @@
+Normal rank