Positive results in abstract model theory: a theory of compact logics
From MaRDI portal
(Redirected from Publication:796519)
Recommendations
Cites work
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- scientific article; zbMATH DE number 4041886 (Why is no real title available?)
- scientific article; zbMATH DE number 3735785 (Why is no real title available?)
- scientific article; zbMATH DE number 3762044 (Why is no real title available?)
- scientific article; zbMATH DE number 3467030 (Why is no real title available?)
- scientific article; zbMATH DE number 3468847 (Why is no real title available?)
- scientific article; zbMATH DE number 3532912 (Why is no real title available?)
- scientific article; zbMATH DE number 3286895 (Why is no real title available?)
- scientific article; zbMATH DE number 3422373 (Why is no real title available?)
- A language for topological structures which satisfies a Lindström-theorem
- Adding propositional connectives to countable infinitary logic
- Axioms for abstract model theory
- Extensions of countable infinitary logic which preserve most of its nice properties
- Generalized Quantifiers and Compact Logic
- Interpolation, compactness and JEP in soft model theory
- Limit Ultrapowers
- Maximal models in the language with quantifier There exist uncountably many
- On cardinalities of ultraproducts
- On the role of supercompact and extendible cardinals in logic
- Some properties related to [a,b]-compactness
- Stationary logic
- The theorems of beth and Craig in abstract model theory II. Compact logics
- Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
- Vopěnka's principle and compact logics
- Weakly Normal Filters and Irregular Ultrafilters
- δ-Logics and generalized quantifiers
Cited in
(25)- On the homogeneity property for certain quantifier logics
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
- Model theoretic characterizations of large cardinals revisited
- Harmonious logic: Craig's interpolation theorem and its descendants
- Compactness in equational logic
- Some strong logics within combinatorial set theory and the logic of chains
- Compactness and normality in abstract logics
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
- Universal theories and compactly expandable models
- The Craig interpolation theorem in abstract model theory
- Downward transfer of satisfiability for sentences of L1,1
- Duality for Compact Logics and Substitution in Abstract Model Theory
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
- Remarks in abstract model theory
- scientific article; zbMATH DE number 4191610 (Why is no real title available?)
- scientific article; zbMATH DE number 4077186 (Why is no real title available?)
- scientific article; zbMATH DE number 4081532 (Why is no real title available?)
- scientific article; zbMATH DE number 3873304 (Why is no real title available?)
- Embeddings, amalgamation and elementary equivalence: the representation of compact logics
- Limit ultrapowers and abstract logics
- A topological characterization of \((\lambda,\mu)^*-compactness\)
- Compactness and Independence in Non First Order Frameworks
- Vopěnka's principle and compact logics
- Compactness=JEP in any logic
- POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
This page was built for publication: Positive results in abstract model theory: a theory of compact logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796519)
