Effective prime uniqueness

DOI10.1090/PROC/13675zbMath1377.03033arXiv1412.5976OpenAlexW2963385818MaRDI QIDQ4592760

Charlie C. S. C. McCoy, Peter A. Cholak

Publication date: 8 November 2017

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.5976

zbMATH Keywords

decidable theoryreverse mathematicsprime modelssecond-order arithmeticdecidable modelsatomic modelscomputable function, computable isomorphismeffectively atomic modelseffectively prime models

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

A note on decidable categoricity and index sets ⋮ Effectively Existentially-Atomic Structures ⋮ Some Questions in Computable Mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Model theory.
• REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS
• The atomic model theorem and type omitting

This page was built for publication: Effective prime uniqueness