scientific article; zbMATH DE number 3821715

zbMATH Open0519.03035MaRDI QIDQ3669397FDOQ3669397

Authors John T. Baldwin

Publication date 1982

zbMATH Keywords

recursive algebraabstract dependence relation

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Cited in

(6)

• Bi-colored expansions of geometric theories
• Sound, totally sound, and unsound recursive equivalence types
• Dependence systems with the operator-image exchange property
• Dependency relations
• First-order theories of abstract dependence relations
• Trivial pursuit: remarks on the main gap

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3669397)