A generalization of Gödel's notion of constructibility
- 1 June 1960
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 25 (2) , 147-155
- https://doi.org/10.2307/2964211
Abstract
The notion of constructibility introduced by Gödel in [2] has been generalized by Hajnal [3], [4] in order to prove the conditional independence of the generalized continuum hypothesis and related axioms. A very similar construction was used independently by Shoenfield [11], [12]2and the author [7] to prove the conditional independence ofV = Land related axioms. Here we shall prove results further in the latter direction than those in Shoenfield [12].Keywords
This publication has 2 references indexed in Scilit:
- On the Independence of the Axiom of ConstructibilityAmerican Journal of Mathematics, 1959
- On a consistency theorem connected with the generalized continuum problemMathematical Logic Quarterly, 1956