Inductive types and exact completion (Q556819): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F35
@@ Property / Mathematics Subject Classification ID: 03F35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F50
@@ Property / Mathematics Subject Classification ID: 03F50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C50
@@ Property / Mathematics Subject Classification ID: 18C50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 18B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2181950
@@ Property / zbMATH DE Number: 2181950 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Exact completion
@@ Property / zbMATH Keywords: Exact completion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Realizability toposes
@@ Property / zbMATH Keywords: Realizability toposes / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Martin-Löf Type Theory
@@ Property / zbMATH Keywords: Martin-Löf Type Theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Initial algebras
@@ Property / zbMATH Keywords: Initial algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Pretoposes
@@ Property / zbMATH Keywords: Pretoposes / rank @@
+Normal rank

Revision as of 14:55, 1 July 2023