Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) (Q945261): Difference between revisions

@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive continuity
@@ Property / cites work: Constructive continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Counterexamples
@@ Property / cites work: Brouwerian Counterexamples / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic foundations of computable general equilibrium theory
+Normal rank