Infinitary combinatorics and modal logic (Q3476788): Difference between revisions

@@ Property / cites work @@
+Some exact equiconsistency results in set theory
@@ Property / cites work: Some exact equiconsistency results in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strong axioms of infinity and elementary embeddings
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Patching ideal families and enforcing reflection
@@ Property / cites work: Patching ideal families and enforcing reflection / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank