Reverse mathematics of first-order theories with finitely many models

DOI10.1017/JSL.2014.32MaRDI QIDQ2933684zbMATH OpenOpenAlexFDO

Authors David R. Belanger

Publication date 5 December 2014

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

Full work available at URL https://biblio.ugent.be/publication/8669023

zbMATH Keywords

reverse mathematicsnumber of modelseffective model theory

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57)

Recommendations

• \(\mathsf{WKL}_0\) and induction principles in model theory
• scientific article; zbMATH DE number 3924748
• scientific article; zbMATH DE number 2236640
• Nonstandard Arithmetic and Reverse Mathematics
• Stability theory and set existence axioms

Cites work

• A complete, decidable theory with two decidable models
• Subsystems of second order arithmetic
• Vaught's theorem recursively revisited

Cited in

(5)

• Stability theory and set existence axioms
• \(\mathsf{WKL}_0\) and induction principles in model theory
• Primitive recursive reverse mathematics
• Effective prime uniqueness
• Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

This page was built for publication: Reverse mathematics of first-order theories with finitely many models

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