Categoricity results for second-order ZF in dependent type theory (Q1687749): Difference between revisions

@@ Property / cites work @@
+Die Widerspruchsfreiheit der allgemeinen Mengenlehre
+Normal rank
@@ Property / cites work @@
+Q3075242
@@ Property / cites work: Q3075242 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur le théorème de Zorn
@@ Property / cites work: Sur le théorème de Zorn / rank @@
+Normal rank
@@ Property / cites work @@
+EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on the foundations of set-theory
@@ Property / cites work: Two notes on the foundations of set-theory / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Set theory for verification. I: From foundations to functions
+Normal rank
@@ Property / cites work @@
+Q4081251
@@ Property / cites work: Q4081251 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite Constructions in Classical Type Theory
+Normal rank
@@ Property / cites work @@
+Hereditarily Finite Sets in Constructive Type Theory
+Normal rank
@@ Property / cites work @@
+Q4340909
@@ Property / cites work: Q4340909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265769
@@ Property / cites work: Q3265769 / rank @@
+Normal rank
@@ Property / cites work @@
+A Declarative Language for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Models of Second-Order Zermelo Set Theory
@@ Property / cites work: Models of Second-Order Zermelo Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Second Order Logic or Set Theory?
@@ Property / cites work: Second Order Logic or Set Theory? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364399
@@ Property / cites work: Q4364399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563362
@@ Property / cites work: Q5563362 / rank @@
+Normal rank