Computable Homogeneous Boolean Algebras and a Metatheorem
Author:
- 1 March 2004
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 43 (2) , 73-87
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Recursive Homogeneous Boolean AlgebrasAlgebra and Logic, 2001
- Ramified systemsAnnals of Pure and Applied Logic, 1994
- A construction for recursive linear orderingsThe Journal of Symbolic Logic, 1991
- Labelling systems and R.E. structuresAnnals of Pure and Applied Logic, 1990
- Recursive labelling systems and stability of recursive structures in hyperarithmetical degreesTransactions of the American Mathematical Society, 1986
- Countable homogeneous Boolean algebrasAlgebra and Logic, 1982
- Hierarchies of Boolean algebrasThe Journal of Symbolic Logic, 1970