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)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

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

Through your library

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.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
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
18 (#1,157,809)

6 months
6 (#572,300)

Historical graph of downloads
How can I increase my downloads?

References found in this work

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

Add more references