A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F50
@@ Property / Mathematics Subject Classification ID: 03F50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C90
@@ Property / Mathematics Subject Classification ID: 03C90 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D65
@@ Property / Mathematics Subject Classification ID: 03D65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6588817
@@ Property / zbMATH DE Number: 6588817 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constructive mathematics
@@ Property / zbMATH Keywords: constructive mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+uniform continuity
@@ Property / zbMATH Keywords: uniform continuity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fan functional
@@ Property / zbMATH Keywords: fan functional / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sheaves
@@ Property / zbMATH Keywords: sheaves / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kleene-Kreisel continuous functionals
@@ Property / zbMATH Keywords: Kleene-Kreisel continuous functionals / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionistic type theory
@@ Property / zbMATH Keywords: intuitionistic type theory / rank @@
+Normal rank

Revision as of 19:41, 27 June 2023