Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)On Boolean Algebras and their Recursive Completions.E. W. Madison - 1985 - Mathematical Logic Quarterly 31 (31‐34):481-486.
    Download  
     
    Export citation  
     
    Bookmark  
  • Diversity of speed-ups and embeddability in computational complexity.Donald A. Alton - 1976 - Journal of Symbolic Logic 41 (1):199-214.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)On Boolean Algebras and their Recursive Completions.E. W. Madison - 1985 - Mathematical Logic Quarterly 31 (31-34):481-486.
    Download  
     
    Export citation  
     
    Bookmark  
  • Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra.E. W. Madison & B. Zimmermann-Huisgen - 1986 - Journal of Symbolic Logic 51 (2):292-301.
    Given an admissible indexing φ of the countable atomless Boolean algebra B, an automorphism F of B is said to be recursively presented (relative to φ) if there exists a recursive function $p \in \operatorname{Sym}(\omega)$ such that F ⚬ φ = φ ⚬ p. Our key result on recursiveness: Both the subset of $\operatorname{Aut}(\mathscr{B})$ consisting of all those automorphisms which are recursively presented relative to some indexing, and its complement, the set of all "totally nonrecursive" automorphisms, are uncountable. This arises (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.
    Our results concern the existence of a countable extension U of the countable atomless Boolean algebra B such that U is a "nonconstructive" extension of B. It is known that for any fixed admissible indexing φ of B there is a countable nonconstructive extension U of B (relative to φ). The main theorem here shows that there exists an extension U of B such that for any admissible indexing φ of B, U is nonconstructive (relative to φ). Thus, in this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation