Publication:3269140
From MaRDI portal
zbMath0093.01401MaRDI QIDQ3269140
Publication date: 1959
Related Items
Lorenzen and Constructive Mathematics, RANK AND RANDOMNESS, Measures and their random reals, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, La prédicativité, Classes of Polish spaces under effective Borel isomorphism, Some results in the effective descriptive set theory, Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $, SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE, Countable algebra and set existence axioms, Members of countable \(\Pi ^ 0_ 1\) classes, Index sets for \(\Pi^0_1\) classes, A rank one cohesive set, Intuitionism and effective descriptive set theory, Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy, choice classes, Invariance in ℰ* and ℰ_{Π}, Degree-theoretic bounds on the morley rank