First steps towards a formalization of forcing (Q2333671): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2019.07.008
@@ Property / DOI: 10.1016/j.entcs.2019.07.008 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3062061
@@ Property / cites work: Q3062061 / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinals in Isabelle/HOL
@@ Property / cites work: Cardinals in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
@@ Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904376
@@ Property / cites work: Q2904376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286718
@@ Property / cites work: Q4286718 / rank @@
+Normal rank
@@ Property / cites work @@
+Partizan Games in Isabelle/HOLZF
@@ Property / cites work: Partizan Games in Isabelle/HOLZF / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory for verification. II: Induction and recursion
+Normal rank
@@ Property / cites work @@
+The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
+Normal rank
@@ Property / cites work @@
+Mechanizing set theory. Cardinal arithmetic and the axiom of choice
+Normal rank
@@ Property / cites work @@
+Equivalents of the axiom of choice. 2nd ed
@@ Property / cites work: Equivalents of the axiom of choice. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Computer theorem proving in mathematics
@@ Property / cites work: Computer theorem proving in mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+The Isabelle Framework
@@ Property / cites work: The Isabelle Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Formalization of the fundamental group in untyped set theory using auto2
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2019.07.008
@@ Property / DOI: 10.1016/J.ENTCS.2019.07.008 / rank @@
+Normal rank