Non-self-equivalent constructivization of atomic Boolean algebras
- 1 June 1976
- journal article
- research article
- Published by Springer Nature in Mathematical Notes
- Vol. 19 (6) , 500-503
- https://doi.org/10.1007/bf01149926
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Strongly constructive models and numerations of the Boolean algebra of recursive setsAlgebra and Logic, 1971