Preservation theorems for Kripke models (Q3619870): Difference between revisions

@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Kripke models of HA are locally PA
@@ Property / cites work: Finite Kripke models of HA are locally PA / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke submodels and universal sentences
@@ Property / cites work: Kripke submodels and universal sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Submodels of Kripke models
@@ Property / cites work: Submodels of Kripke models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691117
@@ Property / cites work: Q5691117 / rank @@
+Normal rank