scientific article

zbMath0093.01401MaRDI QIDQ3269140

Georg Kreisel

Publication date: 1959

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

foundations, philosophy and logic of mathematics

Related Items

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