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



    Upload a copy of this work     Papers currently archived: 101,553

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.
Aquivalenzklassen von n-Tupeln.G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504.
Lars Svenonius. A theorem on permutations in models. Theoria , vol. 25 , pp. 173–178.William Hanf - 1966 - Journal of Symbolic Logic 31 (3):505.
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.
Lars Svenonius. Definability and simplicity. The journal of symbolic logic, vol. 20 , pp. 235–250.Robert L. Causey - 1972 - Journal of Symbolic Logic 37 (1):174.
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.
A note on prime models in weakly o‐minimal structures.Somayyeh Tari - 2017 - Mathematical Logic Quarterly 63 (1-2):109-113.

Analytics

Added to PP
2010-09-13

Downloads
31 (#740,440)

6 months
5 (#1,091,584)

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