Annals of Pure and Applied Logic 25 (3):263-299 (1983)

Abstract
We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its consequences. We also prove some combinatorial results of independent interest
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(83)90021-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Axioms for Abstract Model Theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Stationary Logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
On Descendingly Complete Ultrafilters.Karel Prikry - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 459--488.
Axioms for Abstract Model Theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2/3):221.
Δ-Logics and Generalized Quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155.

View all 9 references / Add more references

Citations of this work BETA

Remarks in Abstract Model Theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.
Limit Ultrapowers and Abstract Logics.Paolo Lipparini - 1987 - Journal of Symbolic Logic 52 (2):437-454.

View all 9 citations / Add more citations

Similar books and articles

Vopěnka's Principle and Compact Logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
Limit Ultrapowers and Abstract Logics.Paolo Lipparini - 1987 - Journal of Symbolic Logic 52 (2):437-454.
Duality for Compact Logics and Substitution in Abstract Model Theory.Paolo Lipparini - 1985 - Mathematical Logic Quarterly 31 (31‐34):517-532.
Ultrafilter Translations.Paolo Lipparini - 1996 - Archive for Mathematical Logic 35 (2):63-87.
Lovely Pairs of Models: The Non First Order Case.Itaï Ben Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.

Analytics

Added to PP index
2014-01-16

Total views
11 ( #855,883 of 2,519,659 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,659 )

How can I increase my downloads?

Downloads

My notes