scientific article; zbMATH DE number 4012589

MaRDI QIDQ3762299zbMATH OpenFDO

Authors J. F. Knight

Publication date 1986

zbMATH Keywords

infinitely many workersoracleprescribed set of types of bounded complexity

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Other model constructions (03C30) Computable structure theory, computable model theory (03C57)

Cited in

(6)

• Jumps of Orderings
• A metatheorem for constructions by finitely many workers
• scientific article; zbMATH DE number 1302876 (Why is no real title available?)
• Effective Structures
• HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
• scientific article; zbMATH DE number 2236639 (Why is no real title available?)

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 Q3762299)