scientific article; zbMATH DE number 3821715

MaRDI QIDQ3669397zbMATH OpenFDO

Authors John T. Baldwin

Publication date 1982

zbMATH Keywords

abstract dependence relationrecursive algebra

Mathematics Subject Classification ID

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

Cited in

(7)

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