Problem of the number of non-self-equivalent constructivizations
- 1 November 1980
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 19 (6) , 401-414
- https://doi.org/10.1007/bf01669323
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Computable single-valued numerationsAlgebra and Logic, 1980
- The quantity of nonautoequivalent constructivizationsAlgebra and Logic, 1977
- Non-self-equivalent constructivization of atomic Boolean algebrasMathematical Notes, 1976
- Autostability and computable families of constructivizationsAlgebra and Logic, 1975
- Strong and weak constructivization and computable familiesAlgebra and Logic, 1974
- Strongly constructive models and numerations of the Boolean algebra of recursive setsAlgebra and Logic, 1971