Theories Having Finitely Many Countable Homogeneous Models

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):131-131 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860320705

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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 Having Finitely Many Countable Homogeneous Models.James H. Schmerl - 1986 - Mathematical Logic Quarterly 32 (7‐9):131-131.
Some Theories Having Countably Many Countable Models.Nigel J. Cutland - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):105-110.
Orderings of Types of Countable Arithmetic.K. Potthoff - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (7):97-108.
Representation of Models of Full theories.Andrew Adler - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):183-188.
Concerning a problem of H. Scholz.Andrzej Mostowski - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):210-214.
A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
Modal Models Corresponding to Models.Gerold Stahl - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):407-410.
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 , pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.
Formal Theories are Acyclic.K. S. Sarkaria - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):363-368.

Analytics

Added to PP
2015-12-02

Downloads
25 (#622,862)

6 months
5 (#838,466)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references