A Kripke model for simplicial sets (Q2257308): Difference between revisions

@@ Property / cites work @@
+A generalization of the Takeuti–Gandy interpretation
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5550390
@@ Property / cites work: Q5550390 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial homotopy theory
@@ Property / cites work: Simplicial homotopy theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Coherent Logic
@@ Property / cites work: Automating Coherent Logic / rank @@
+Normal rank