Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-14T04:23:49.923Z Has data issue: false hasContentIssue false
  • English
  • Français

Vopěnka's principle and compact logics

Published online by Cambridge University Press:  12 March 2014

J. A. Makowsky
J. A. Makowsky*
Affiliation:
Department of Computer Science, Technion Haifa, Israel
Get access Rights & Permissions [Opens in a new window]

Abstract

We study the effects of Vopěnka's principle on properties of model theoretic logics. We show that Vopěnka's principle is equivalent to the assumption that every finitely generated logic has a compact cardinal. We show also that it is equivalent to the assumption that every such logic has a global Hanf number.

Keywords

Large cardinalsabstract model theory
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 50 , Issue 1 , March 1985 , pp. 42 - 48
Copyright
Copyright © Association for Symbolic Logic 1985

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[BF 1984] Barwise, J. and Feferman, S. (editors), Model-theoretic logics, Perspectives in Mathematical Logic, vol. 6, Springer-Verlag, Berlin, 1984.Google Scholar
[Chu 1968] Chudnovsky, G. V., Some results in the theory of infinitely long expressions, Soviet Mathematics Doklady, vol. 9 (1968), pp. 556–559.Google Scholar
[Fi 1977] Fisher, E. R., Vopěnka's principle, category theory and universal algebra, Notices of the American Mathematical Society, vol. 24 (1977), p. A–44 (Abstract 742-08-4).Google Scholar
[Mag 1971] Magidor, M., On the role of supercompact and extendible cardinals in logic, Israel Journal of Mathematics, vol. 10 (1971), pp. 147–157.Google Scholar
[MS 1983] Makowsky, J. A. and Shelah, S., Positive results in abstract model theory, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 263–299.Google Scholar
[Mu 1982] Mundici, D., Interpolation, compactness and JEP in soft model theory, Archiv für Mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 61–67.CrossRefGoogle Scholar
[SRK 1978] Solovay, R. M., Reinhardt, W. N. and Kanamori, A., Strong axioms of infinity and elementary embeddings, Annals of Mathematical Logic, vol. 13 (1978), pp. 73–116.Google Scholar