scientific article; zbMATH DE number 1048041

zbMath0915.03039MaRDI QIDQ4348127

Rodney G. Downey

Publication date: 27 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveybibliographyBoolean algebraslinear orderingseffective algebraic structures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Theory of numerations, effectively presented structures (03D45)

Related Items

New degree spectra of Polish spaces ⋮ Turing degrees of nonabelian groups ⋮ Effectively categorical abelian groups ⋮ Computable completely decomposable groups ⋮ On the triple jump of the set of atoms of a Boolean algebra ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ Some Questions in Computable Mathematics ⋮ Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees ⋮ Algebraic structures computable without delay ⋮ Boolean algebras, Tarski invariants, and index sets ⋮ Computable topological groups and Pontryagin duality ⋮ Computable presentability of countable linear orders ⋮ Enumerations and completely decomposable torsion-free abelian groups ⋮ Computable Kripke models and intermediate logics ⋮ Decomposability and computability