Lars Svenonius. A theorem on permutations in models. Theoria , vol. 25 , pp. 173–178

Journal of Symbolic Logic 31 (3):505 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270483

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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

A theorem on permutations in models.Lars Svenonius - 1959 - Theoria 25 (3):173-178.
On minimal models of first-order systems.Lars Svenonius - 1960 - Theoria 26 (1):44-52.
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.
Three ways to conceive of functions and relations.Lars Svenonius - 1987 - Theoria 53 (1):31-58.
No-categoricity in first-order predicate calculus.Lars Svenonius - 1959 - Theoria 25 (2):82-94.
Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria , vol. 25 , pp. 82–94.G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504-504.
Some Problems in Logical Model-Theory.William Hanf & Lars Svenonius - 1960 - Journal of Symbolic Logic 31 (3):505.
Review: Noam Chomsky, Three Models for the Description of Language. [REVIEW]Lars Svenonius - 1958 - Journal of Symbolic Logic 23 (1):71-72.
Denumerable Models of Complete Theories.R. L. Vaught, Lars Svenonius, Erwin Engeler & Gebhard Fukrken - 1970 - Journal of Symbolic Logic 35 (2):342-344.
Chomsky Noam. Three models for the description of language. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 , pp. 113–124. [REVIEW]Lars Svenonius - 1958 - Journal of Symbolic Logic 23 (1):71-72.
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.
Definability and simplicity.Lars Svenonius - 1955 - Journal of Symbolic Logic 20 (3):235-250.
Translation and reduction.Lars Svenonius - 1972 - Journal of Philosophical Logic 1 (3/4):297 - 316.
ℵ 0 -Categoricity in First-Order Predicate Calculus.Lars Svenonius - 1966 - Journal of Symbolic Logic 31 (3):504-504.
N. J. Fine. Proof of a conjecture of Goodman. The journal of symbolic logic, vol. 19 , pp. 41–44.Lars Svenonius - 1957 - Journal of Symbolic Logic 22 (3):311-311.

Analytics

Added to PP
2014-04-01

Downloads
38 (#416,558)

6 months
7 (#419,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Grades of Discrimination: Indiscernibility, Symmetry, and Relativity.Tim Button - 2017 - Notre Dame Journal of Formal Logic 58 (4):527-553.

Add more citations

References found in this work

No references found.

Add more references