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

@@ Property / DOI @@
-.1016/j.apal.2004.09.003
@@ Property / DOI: 10.1016/j.apal.2004.09.003 / rank @@
-Normal rank
@@ 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
@@ 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/j.apal.2004.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2068946935
@@ Property / OpenAlex ID: W2068946935 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive models for constructive set theories
@@ Property / cites work: Recursive models for constructive set theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936141
@@ Property / cites work: Q4936141 / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q4740070
@@ Property / cites work: Q4740070 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed exact completions
@@ Property / cites work: Locally cartesian closed exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+A presentation of the initial lift-algebra
@@ Property / cites work: A presentation of the initial lift-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Cocomplete toposes whose exact completions are toposes
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+The extended calculus of constructions (ECC) with inductive types
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2004.09.003
@@ Property / DOI: 10.1016/J.APAL.2004.09.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:556819