Positive results in abstract model theory: a theory of compact logics
type: Item
instance of: scholarly article
title: Positive results in abstract model theory: a theory of compact logics
zbMATH Open document ID: 0544.03013
DOI: 10.1016/0168-0072(83)90021-0
author: S. Shelah
author: Johann A. Makowsky
published in: Annals of Pure and Applied Logic
publication date: 1983-01-01T00:00:00Z
review text: (From the authors summary) 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.
Mathematics Subject Classification ID: 03C95
Mathematics Subject Classification ID: 03C65
zbMATH DE Number: 3865254
zbMATH Keywords: compact logics
zbMATH Keywords: compactness
zbMATH Keywords: amalgamation property
zbMATH Keywords: regular ultrafilters
MaRDI profile type: Publication
full work available at URL: 0168-0072(83)90021-0
OpenAlex ID: W2092513686
cites work: Axioms for abstract model theory
cites work: Q3714043
cites work: Stationary logic
cites work: Q5570212
cites work: Q4053660
cites work: Q4052073
cites work: Q3944594
cites work: Q4109641
cites work: Adding propositional connectives to countable infinitary logic
cites work: Extensions of countable infinitary logic which preserve most of its nice properties
cites work: Weakly Normal Filters and Irregular Ultrafilters
cites work: On cardinalities of ultraproducts
cites work: Limit Ultrapowers
cites work: On the role of supercompact and extendible cardinals in logic
cites work: Q3922656
cites work: Vopěnka's principle and compact logics
cites work: Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
cites work: The theorems of beth and Craig in abstract model theory II. Compact logics
cites work: δ-Logics and generalized quantifiers
cites work: Maximal models in the language with quantifier ''There exist uncountably many''
cites work: Interpolation, compactness and JEP in soft model theory
cites work: Q5684675
cites work: Generalized Quantifiers and Compact Logic
cites work: Q3781082
cites work: Some properties related to [a,b]-compactness
cites work: A language for topological structures which satisfies a Lindström-theorem
description: scientific article; zbMATH DE number 3865254