Autostability and computable families of constructivizations
- 1 November 1975
- journal article
- research article
- Published by Springer Nature in Algebra and Logic
- Vol. 14 (6) , 392-409
- https://doi.org/10.1007/bf01668470
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Strong and weak constructivization and computable familiesAlgebra and Logic, 1974
- The number of countable generic models for finite forcingFundamenta Mathematicae, 1974