Kripke models, distributive lattices, and Medvedev degrees (Q995672): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-007-9054-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1969083063
@@ Property / OpenAlex ID: W1969083063 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794148
@@ Property / cites work: Q3794148 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the algebraic structure of the Medvedev Lattice
+Normal rank
@@ Property / cites work @@
+Embedding Brouwer algebra in the Medvedev lattice
@@ Property / cites work: Embedding Brouwer algebra in the Medvedev lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863250
@@ Property / cites work: Q4863250 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic and the Medvedev lattice
@@ Property / cites work: Constructive logic and the Medvedev lattice / rank @@
+Normal rank
@@ Property / cites work @@
+The Medvedev lattice of computably closed sets
@@ Property / cites work: The Medvedev lattice of computably closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:995672