Requirement systems

DOI10.2307/2275519MaRDI QIDQ4836053zbMATH OpenOpenAlexFDO

Authors J. F. Knight

Publication date 3 July 1995

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275519

zbMATH Keywords

metatheoremspriority argumentsmodels of Peano Arithmeticinductive worker

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Models of arithmetic and set theory (03C62)

Recommendations

• Mixed systems
• Solovay's theorem cannot be simplified
• PRIORITY ARGUMENTS VIA TRUE STAGES
• Constructions by transfinitely many workers
• Labelling systems and r.e. structures

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A construction for recursive linear orderings
• Labelling systems and r.e. structures
• Pairs of recursive structures
• Stability of recursive structures in arithmetical degrees

Cited in

(4)

• A metatheorem for constructions by finitely many workers
• Constructions by transfinitely many workers
• Labelling systems and r.e. structures
• Mixed systems

This page was built for publication: Requirement systems

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