Realisability for infinitary intuitionistic set theory (Q2700803): Difference between revisions

@@ Property / cites work @@
+Q3866108
@@ Property / cites work: Q3866108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Koepke machines and satisfiability for infinitary propositional languages
+Normal rank
@@ Property / cites work @@
+Taming Koepke's zoo
@@ Property / cites work: Taming Koepke's zoo / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+On the Effectivity of Some Field Constructions
@@ Property / cites work: On the Effectivity of Some Field Constructions / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of intuitionistic Kripke-Platek set theory
@@ Property / cites work: Logics of intuitionistic Kripke-Platek set theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal machines and admissible recursion theory
@@ Property / cites work: Ordinal machines and admissible recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+IKP and friends
@@ Property / cites work: IKP and friends / 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 @@
+Ordinal computability. An introduction to infinitary machines
+Normal rank
@@ Property / cites work @@
+Effectivity and reducibility with ordinal Turing machines
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5874220
@@ Property / cites work: Q5874220 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Propositional Realizability Logic
@@ Property / cites work: A Survey of Propositional Realizability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The disjunction and related properties for constructive Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Q5477363
@@ Property / cites work: Q5477363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384979
@@ Property / cites work: Q5384979 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational strengths of \(\alpha\)-tape infinite time Turing machines
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalents of the axiom of choice. 2nd ed
@@ Property / cites work: Equivalents of the axiom of choice. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability: a historical essay
@@ Property / cites work: Realizability: a historical essay / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank