Compactness and normality in abstract logics

DOI10.1016/0168-0072(93)90229-7MaRDI QIDQ1208083zbMATH OpenOpenAlexFDO

Authors Xavier Caicedo

Publication date 16 May 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90229-7

zbMATH Keywords

compactnessmodel spacesnormalityregular logic

Mathematics Subject Classification ID

Abstract model theory (03C95)

Recommendations

• Publication:4941994
• Duality for Compact Logics and Substitution in Abstract Model Theory
• scientific article; zbMATH DE number 3853054
• A topological characterization of (,)^*-compactness
• Positive results in abstract model theory: a theory of compact logics

Cites work

• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 3892155 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• Inverse topological systems and compactness in abstract model theory
• Large infinitary languages. Model theory
• Products with Closed Projections. II
• The first order properties of products of algebraic systems

Cited in

(21)

• A non-compactness phenomenon in logics with hyperintensional predication
• Some compactness results for modal logic
• Minimally generated abstract logics
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Compactness in logic with cardinality quantifiers
• Cauchy completeness in elementary logic
• scientific article; zbMATH DE number 3853054 (Why is no real title available?)
• scientific article; zbMATH DE number 3873304 (Why is no real title available?)
• Duality for Compact Logics and Substitution in Abstract Model Theory
• A generalization of abstract model theory
• scientific article; zbMATH DE number 4081532 (Why is no real title available?)
• scientific article; zbMATH DE number 1163936 (Why is no real title available?)
• scientific article; zbMATH DE number 1163951 (Why is no real title available?)
• Infinitary logic and basically disconnected compact Hausdorff spaces
• scientific article; zbMATH DE number 1418439 (Why is no real title available?)
• XI Latin American Symposium on Mathematical Logic
• Some properties of elementary theories and the space of models
• Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
• Positive results in abstract model theory: a theory of compact logics
• A topological characterization of (,)^*-compactness
• Definability theorems in normal extensions of the provability logic

This page was built for publication: Compactness and normality in abstract logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1208083)