Reverse mathematics of first-order theories with finitely many models

Journal of Symbolic Logic 79 (3):955-984 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.32

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,060

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theories with finitely many models.Simon Thomas - 1986 - Journal of Symbolic Logic 51 (2):374-376.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
On a theorem of Vaught for first order logic with finitely many variables.Tarek Sayed Ahmed - 2009 - Journal of Applied Non-Classical Logics 19 (1):97-112.
Axiom systems for first order logic with finitely many variables.James S. Johnson - 1973 - Journal of Symbolic Logic 38 (4):576-578.
Finitely generic models of tUH, for certain model companionable theories T.Francoise Point - 1985 - Journal of Symbolic Logic 50 (3):604 - 610.
On idempotent ultrafilters in higher-order reverse mathematics.Alexander P. Kreuzer - 2015 - Journal of Symbolic Logic 80 (1):179-193.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
First-order possibility models and finitary completeness proofs.Matthew Harrison-Trainor - 2019 - Review of Symbolic Logic 12 (4):637-662.
Theories Having Finitely Many Countable Homogeneous Models.James H. Schmerl - 1986 - Mathematical Logic Quarterly 32 (7‐9):131-131.

Analytics

Added to PP
2016-06-30

Downloads
22 (#1,053,775)

6 months
10 (#363,467)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

WKL 0 and induction principles in model theory.David R. Belanger - 2015 - Annals of Pure and Applied Logic 166 (7-8):767-799.

Add more citations

References found in this work

Äquivalenzklassen von n‐Tupeln.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (14-24):340-345.

Add more references