Intuitionism and effective descriptive set theory

DOI10.1016/j.indag.2017.06.004zbMath1437.03172OpenAlexW2732383015MaRDI QIDQ1688967

Yiannis N. Moschovakis, Joan Rand Moschovakis

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/7kt68904

Mathematics Subject Classification ID

Descriptive set theory (03E15) Intuitionistic mathematics (03F55)

Related Items (2)

Retracing Cantor's first steps in Brouwer's company ⋮ Projective sets, intuitionistically

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical descriptive set theory as a refinement of effective descriptive set theory
• Untersuchungen über das logische Schliessen. I
• Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
• Kleene's Amazing Second Recursion Theorem
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• A Constructive Version of the Lusin Separation Theorem
• Relative lawlessness in intuitionistic analysis
• Brouwer and Souslin on Transfinite Cardinals
• Classical and constructive hierarchies in extended intuitionistic analysis
• THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
• The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
• Formalized recursive functionals and formalized realizability
• Can there be no nonrecursive functions?
• Points and Spaces
• Recursive Functions and Intuitionistic Number Theory
• On the interpretation of intuitionistic number theory

This page was built for publication: Intuitionism and effective descriptive set theory