Reverse mathematics of first-order theories with finitely many models

DOI10.1017/JSL.2014.32zbMATH Open1353.03006OpenAlexW2074818280MaRDI QIDQ2933684FDOQ2933684

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

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

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)

Cites Work

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

Cited In (5)

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

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)