On minimal models of first-order systems

Theoria 26 (1):44-52 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1960.tb01076.x

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: 106,506

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

Vaught R. L.. Denumerable models of complete theories. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September, 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 303–321.Svenonius Lars. On minimal models of first-order systems. Theoria , vol. 26 , pp. 44–52.Engeler Erwin. Unendliche Formeln in der Modell-theorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 154–160.Fuhrken Gebhard. Bemerkung zu einer Arbeit E. Engelers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 277–279. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
Lars Svenonius. Some problems in logical model-theory. Library of Theoria, no. IV. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1960, 43 pp. [REVIEW]William Hanf - 1966 - Journal of Symbolic Logic 31 (3):505-506.
Review: Lars Svenonius, A Proposal for a Restriction on the Means of Expression in the Predicate Calculus. [REVIEW]Dagfinn Follesdai - 1968 - Journal of Symbolic Logic 33 (1):137-137.
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.
Lars Svenonius. Ett förslag till en begränsning av uttrycksmedlen i predikatlogiken . Filosofiska studier tillägnade Konrad Marc-Wogau den 4 April 1962, edited by Ann-Mari Henschen-Dahlquist, mimeographcd, Filosofiska Föreningen i Uppsala, Uppsala1962, pp. pp. 113–123. [REVIEW]Dagfinn Føllesdal - 1968 - Journal of Symbolic Logic 33 (1):137.
The semantics of prescriptive discourse. (A Reply to Lars Bergstrom.).H. N. Castañeda - 1962 - Theoria 28 (1):72-78.
Comments on Lars Bergström's paper “Prawitz's Version of Verificationism”.D. Prawitz - 1998 - Theoria 64:293-303.
A note on prime models in weakly o‐minimal structures.Somayyeh Tari - 2017 - Mathematical Logic Quarterly 63 (1-2):109-113.
The Totality of States of Affairs and the Minimal Truthmaker.Mohsen Zamani - 2017 - Theoria 83 (4):471-483.
LINDAHL, LARS. Position and change: A study in law and logic.Bengt Hansson - 1979 - Theoria 45 (1):44-48.

Analytics

Added to PP
2010-09-13

Downloads
32 (#787,883)

6 months
3 (#1,168,074)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraically prime models.J. T. Baldwin - 1981 - Annals of Mathematical Logic 20 (3):289.

Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.

Add more references