scientific article; zbMATH DE number 3821715

zbMATH Open0519.03035MaRDI QIDQ3669397FDOQ3669397

Authors: John T. Baldwin 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)

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

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)