Intuitionism and effective descriptive set theory (Q1688967): Difference between revisions

@@ Property / DOI @@
-.1016/j.indag.2017.06.004
@@ Property / DOI: 10.1016/j.indag.2017.06.004 / rank @@
-Normal rank
@@ Property / author @@
-Joan Rand Moschovakis
@@ Property / author: Joan Rand Moschovakis / rank @@
-Normal rank
@@ Property / author @@
+Joan Rand Moschovakis
@@ Property / author: Joan Rand Moschovakis / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2732383015
@@ Property / OpenAlex ID: W2732383015 / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Version of the Lusin Separation Theorem
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer and Souslin on Transfinite Cardinals
@@ Property / cites work: Brouwer and Souslin on Transfinite Cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893763
@@ Property / cites work: Q4893763 / rank @@
+Normal rank
@@ Property / cites work @@
+David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269140
@@ Property / cites work: Q3269140 / rank @@
+Normal rank
@@ Property / cites work @@
+A Topological Model for Intuitionistic Analysis with Kripke's Scheme
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829025
@@ Property / cites work: Q5829025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960633
@@ Property / cites work: Q3960633 / rank @@
+Normal rank
@@ Property / cites work @@
+Can there be no nonrecursive functions?
@@ Property / cites work: Can there be no nonrecursive functions? / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and constructive hierarchies in extended intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Relative lawlessness in intuitionistic analysis
@@ Property / cites work: Relative lawlessness in intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical descriptive set theory as a refinement of effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Kleene's Amazing Second Recursion Theorem
@@ Property / cites work: Kleene's Amazing Second Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579001
@@ Property / cites work: Q5579001 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functions and Intuitionistic Number Theory
+Normal rank
@@ Property / cites work @@
+Q3515911
@@ Property / cites work: Q3515911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694225
@@ Property / cites work: Q4694225 / rank @@
+Normal rank
@@ Property / cites work @@
+The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
+Normal rank
@@ Property / cites work @@
+THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
+Normal rank
@@ Property / cites work @@
+Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
+Normal rank
@@ Property / DOI @@
+.1016/J.INDAG.2017.06.004
@@ Property / DOI: 10.1016/J.INDAG.2017.06.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1688967