ON ADOPTING KRIPKE SEMANTICS IN SET THEORY (Q3580661): Difference between revisions

@@ Property / cites work @@
+The Gentzen-Kripke construction of the intermediate logic LQ
+Normal rank
@@ Property / cites work @@
+Q4230782
@@ Property / cites work: Q4230782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523457
@@ Property / cites work: Q4523457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523462
@@ Property / cites work: Q4523462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949915
@@ Property / cites work: Q4949915 / rank @@
+Normal rank
@@ Property / cites work @@
+Choice Principles and Constructive Logics†
@@ Property / cites work: Choice Principles and Constructive Logics† / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Modal Theories I--Sets
@@ Property / cites work: First-Order Modal Theories I--Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Martin's maximum, saturated ideals, and nonregular ultrafilters. I
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Replacement and collection in intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Choice Implies Excluded Middle
@@ Property / cites work: Choice Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Independence results around constructive ZF
@@ Property / cites work: Independence results around constructive ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Informal axiomatization, formalization and the concept of truth
+Normal rank
@@ Property / cites work @@
+The open-endedness of the set concept and the semantics of set theory
+Normal rank
@@ Property / cites work @@
+Boolos on the justification of set theory
@@ Property / cites work: Boolos on the justification of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q4088821
@@ Property / cites work: Q4088821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227563
@@ Property / cites work: Q4227563 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+The continuum hypothesis is independent of second order ZF
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy, forcing axioms, and the nonstationary ideal
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020308080088
+Normal rank
@@ Property / OpenAlex ID @@
+W2110070642
@@ Property / OpenAlex ID: W2110070642 / rank @@
+Normal rank