Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934): Difference between revisions

@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944846
@@ Property / cites work: Q4944846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3215216
@@ Property / cites work: Q3215216 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+CT 0 is Stronger than CT 0 !
@@ Property / cites work: CT 0 is Stronger than CT 0 ! / rank @@
+Normal rank
@@ Property / cites work @@
+CZF and second order arithmetic
@@ Property / cites work: CZF and second order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Power set recursion
@@ Property / cites work: Power set recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Type-theoretic interpretation of iterated, strictly positive inductive definitions
+Normal rank
@@ Property / cites work @@
+Q5628079
@@ Property / cites work: Q5628079 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-intuitionistic set theory
@@ Property / cites work: Semi-intuitionistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q5494237
@@ Property / cites work: Q5494237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5435636
@@ Property / cites work: Q5435636 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing the interpretation of set theory in Martin-Löf type theory
+Normal rank
@@ Property / cites work @@
+The scope of Feferman's semi-intuitionistic set theories and his second conjecture
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+A quasi-intumonistic set theory
@@ Property / cites work: A quasi-intumonistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Lifschitz' realizability
@@ Property / cites work: Lifschitz' realizability / rank @@
+Normal rank