Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396): Difference between revisions

@@ Property / Wikidata QID @@
+Q59902290
@@ Property / Wikidata QID: Q59902290 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-012-0299-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2048994267
@@ Property / OpenAlex ID: W2048994267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866108
@@ Property / cites work: Q3866108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898494
@@ Property / cites work: Q3898494 / rank @@
+Normal rank
@@ Property / cites work @@
+Injectivity, Projectivity, and the Axiom of Choice
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+An omniscience principle, the König Lemma and the Hahn‐Banach theorem
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+CT 0 is Stronger than CT 0 !
@@ Property / cites work: CT 0 is Stronger than CT 0 ! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222842
@@ Property / cites work: Q3222842 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability and recursive set theory
@@ Property / cites work: Realizability and recursive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381421
@@ Property / cites work: Q4381421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+The disjunction and related properties for constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q5384979
@@ Property / cites work: Q5384979 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Lifschitz' realizability
@@ Property / cites work: Lifschitz' realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
+Normal rank